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

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


Расписание консультаций

У каждой группы консультация один раз в две недели.

ГруппыНеделяДеньВремя Ауд. Преподаватель Первая консультация
101, 1062-я (нижняя) среда 10:45—12:2014-04доц. Т. Л. Яворская 17.02.2010
102, 1032-я (нижняя) вторник 16:45—18:20465асс. М. А. Бабенко 16.02.2010
104, 1051-я (верхняя)вторник 16:45—18:20465асс. М. А. Бабенко 09.02.2010
107, 1122-я (нижняя) суббота 15:00—16:3513-02доц. В. Н. Крупский20.02.2010
108, 1092-я (нижняя) вторник 16:45—18:20436доц. В. Е. Плиско 16.02.2010
110, 1111-я (верхняя)вторник 16:45—18:20436доц. В. Е. Плиско 09.02.2010

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

  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/
  8. Лавров И. А. Математическая логика. М.: Академия, 2006. 240 с.
  9. Крупский В. Н., Плиско В. Е. Теория алгоритмов. М.: Академия, 2009. 208 с.

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