Введение в математическую логику 2007-2008 (Беклемишев)
Лектор: чл.-корр. РАН Лев Дмитриевич Беклемишев
2007/2008, весенний семестр
- Программа курса (pdf)
- Вопросы к экзамену (pdf)
- Слайды (pdf)
- Конспект лекций (pdf)
- Лекции 1-8 в одном файле
- Лекции 1, 2
- Лекция 3
- Лекция 4
- Лекции 5, 6
- Лекция 7
- Лекция 8
- Лекции 9-11: лекции В. Н. Крупского по теории алгоритмов для первого курса мехмата (2004)
- Лекции 12-14: близкое к лекциям изложение теоремы Гёделя о неполноте (на английском языке)
- Теорема Гёделя-Россера
- Задачи (pdf)