Введение в математическую логику 2009-2010 (Беклемишев)

Лектор: чл.-корр. РАН Лев Дмитриевич Беклемишев
2009/2010, весенний семестр

• Программа курса (pdf)
• Вопросы к экзамену (pdf)
• Слайды (pdf)
  • Лекция 1
  • Лекция 2
  • Лекция 3
  • Лекция 4
  • Лекция 5
  • Лекция 6
  • Лекция 7
  • Лекция 8
  • Лекция 9
  • Лекция 10
  • Лекция 11
  • Лекция 12
  • Лекция 13
• Конспект лекций (pdf)
  • Лекции 1-8
  • Лекции 9-12. Лекции В. Н. Крупского по теории алгоритмов для первого курса мехмата (2004)
  • Лекции 13-14
• Задачи (pdf)
  • Тема 1. Логика высказываний
  • Тема 2. Исчисление высказываний
  • Темы 3, 4. Логика предикатов, исчисление предикатов
  • Тема 5. Машины Тьюринга
  • Тема 6. Разрешимые и перечислимые множества
  • Тема 7. Нумерации вычислимых функций и результаты о невычислимости

---

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

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

Группы	Неделя	День	Время	Ауд.	Преподаватель	Первая консультация
101, 106	2-я (нижняя)	среда	10:45—12:20	14-04	доц. Т. Л. Яворская	17.02.2010
102, 103	2-я (нижняя)	вторник	16:45—18:20	465	асс. М. А. Бабенко	16.02.2010
104, 105	1-я (верхняя)	вторник	16:45—18:20	465	асс. М. А. Бабенко	09.02.2010
107, 112	2-я (нижняя)	суббота	15:00—16:35	13-02	доц. В. Н. Крупский	20.02.2010
108, 109	2-я (нижняя)	вторник	16:45—18:20	436	доц. В. Е. Плиско	16.02.2010
110, 111	1-я (верхняя)	вторник	16:45—18:20	436	доц. В. Е. Плиско	09.02.2010

---

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