Введение в математическую логику и теорию алгоритмов

Лектор: профессор Валентин Борисович Шехтман
Осень 2018 года
Кафедра математической логики и теории алгоритмов


Рекомендуемая литература

  1. Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. М.: Академия, 2013. 416 с.
  2. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления, издание 4-е, исправленное. М.: МЦНМО, 2012. 240 с. [PDF]
  3. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции, издание 4-е, исправленное. М.: МЦНМО, 2012. 158 с. [PDF]
  4. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. 320 с.
  5. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. М.: Физматлит, 2002. 128 с.
  6. Колмогоров А. Н., Драгалин А. Г. Математическая логика. М.: УРСС, 2004. 240 с.
  7. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов, 3-е изд. М.: Физматлит, 1995. 256 с.
  8. Клини С. К. Математическая логика. М.: Мир, 1973. 480 с.
  9. Лавров И. А. Математическая логика. М.: Академия, 2006. 240 с.
  10. Крупский В. Н., Плиско В. Е. Теория алгоритмов. М.: Академия, 2009. 208 с.