Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


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

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


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

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

Группы Неделя День Время Ауд. Преподаватель Первая консультация
101, 102 нижняя среда 9:00—10:35 16-08 проф. М. Р. Пентус 25.02.2009
103, 104 нижняя среда 13:15—14:50 12-05 асс. М. А. Бабенко 25.02.2009
105, 106 нижняя среда 15:00—16:35 13-04 асс. М. А. Бабенко 25.02.2009
108, 109 верхняя суббота 13:15—14:50 12-25 доц. В. Н. Крупский 21.02.2009
110, 111 верхняя понедельник 10:45—12:20 12-26а доц. В. Е. Плиско 16.02.2009
107, 112 верхняя четверг 16:45—18:20 16-10 доц. В. Е. Плиско 19.02.2009

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

  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/