Логика, вычислимость, метаматематика
Ключевые темы
...
Основные выходы на практику
- Model checking
- SAT/SMT
- Выразимость, вычислимость в разных моделях вычислений
- Связь моделей вычислений, стилей программирования и логики
- Prolog/Refal и логическое программирование (также Make и системы сборки)
- Формальная семантика программ и языков программирования, дедуктивная верификация алгоритмов
Полезные материалы
- Differential geometry reconstructed (главы про логику)
- Клини. Введение в метаматематику
- Верещагин, Шень: Языки и исчисления, Вычислимые функции
- Open Logic book
- Stanford's encyclopedia of philosophy
- Keisler & Cheng
- Непейвода "Прикладная логика"
- http://brendanfong.com/programmingcats.html