Теория вычислений для программистов. Теория программирования

Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе. Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму. Это идеальное решение для программистов, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.
Рассматриваются следующие темы:

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

Об авторе:
Том Стюарт — специалист по информатике и программист, основатель компании Codon, которая находится в Лондоне и занимается консультированием в области цифровых продуктов. Работает консультантом, преподавателем, инструктором, помогая различным компаниям выработать наиболее правильный подход к производству программных продуктов и повысить их качество.