Дополнительная информация:

Рассматриваются следующие темы:
Фундаментальные концепции вычислений, в том числе полнота языков программирования по Тьюрингу
Использование в программах динамической семантики для сообщения смысла машине
Исследование возможностей компьютера, сведенного к элементам самого низкого уровня
Путь от универсальной машины Тьюринга к современным компьютерам общего назначения
Выполнение сложных вычислений с помощью простых языков и клеточных автоматов
Какие особенности языка программирования по-настоящему важны для вычислений
Что такое проблема остановки и самореферентность и почему некоторые вычислительные задачи неразрешимы
Анализ программ с использованием абстрактной интерпретации и системы типов
Об авторе:
Том Стюарт - специалист по информатике и программист, основатель компании Соdоп, которая находится в Лондоне и занимается консультированием в области цифровых продуктов. Работает консультантом, преподавателем, инструктором, помогая различным компаниям выработать наиболее правильный подход к производству программных продуктов и повысить их качество.