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

Лектор: чл.-корр. РАН Лев Дмитриевич Беклемишев
2007/2008
Кафедра математической логики и теории алгоритмов

Досрочный экзамен (для допущенных к нему студентов) состоится 19 мая в 9:00 в ауд. 16-10.


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

  1. Мендельсон Э. Введение в математическую логику. -- М.: Наука, 1971. -- 320 с.
  2. Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. 2-е изд. -- М.: Физматлит, 2002. -- 128 с.
  3. Колмогоров А. Н., Драгалин А. Г. Математическая логика. -- М.: УРСС, 2004. -- 240 с.
  4. Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. -- 3-е изд. -- М.: Физматлит, 1995. -- 256 с.
  5. Клини С. К. Математическая логика. -- М.: Мир, 1973. -- 480 с.
  6. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. -- М.: МЦНМО, 2000. -- 288 с. ftp://ftp.mccme.ru/users/shen/logic/firstord/
  7. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. -- М.: МЦНМО, 1999. -- 176 с. ftp://ftp.mccme.ru/users/shen/logic/comput/

Адрес: http://lpcs.math.msu.su/vml2008/
Изменения внесены 08.02.2009.