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

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

• Программа курса (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, 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

---

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