Литература по математической логике и теории алгоритмов

См. также страницу: Видео-материалы по темам курса ВМЛиТА.

Основная литература

1. Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. — М.: Академия, 2013. — 416 с.
2. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов.
   • Часть 1. Начала теории множеств, издание 5-е, исправленное. — М.: МЦНМО, 2017. — 112 с. [PDF]
   • Часть 2. Языки и исчисления, издание 5-е, исправленное. — М.: МЦНМО, 2017. — 240 с. [PDF]
   • Часть 3. Вычислимые функции, издание 5-е, исправленное. — М.: МЦНМО, 2017. — 160 с. [PDF]
3. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов, 5-е изд. — М.: Физматлит, 2004. — 256 с.

Дополнительная литература

4. Крупский В. Н., Плиско В. Е. Теория алгоритмов. — М.: Академия, 2009. — 208 с.
5. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. — М.: Физматлит, 2002. — 128 с.
6. Лавров И. А. Математическая логика. — М.: Академия, 2006. — 240 с.
7. Булос Дж., Джеффри Р. Вычислимость и логика. — М.: Мир, 1994. — 396 с.
8. Успенский В.А. Лекции о вычислимых функциях. — М.: Физматлит, 1960. — 492 с.
9. Колмогоров А. Н., Драгалин А. Г. Математическая логика. — М.: УРСС, 2004. — 240 с.
10. Клини С. К. Математическая логика. — М.: Мир, 1973. — 480 с.
11. Мендельсон Э. Введение в математическую логику. — М.: Наука, 1971. — 320 с.
12. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. — М.: Мир, 1972. — 624 с.
13. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. — М.: Мир, 1983. — 256 с.