ЕНС Математическая логика и алгоритмы,
4 курс мехмата
2011 год
- Программа курса 2011 года: PDF.
- В билет входит один теоретический вопрос и одна задача.
Пользоваться литературой или конспектами на экзамене запрещается.
-
Когда состоится экзамен и как на него записаться?
Экзамены состоятся
2 июня и
22 июня
в 10 часов утра.
Желающие сдать экзамен должны записаться на один из этих дней.
Для этого не позднее, чем за 2 дня до экзамена, надо
подписаться на соответствующую рассылку (перейдя по ссылке:
2 июня ,
22 июня
).
(Этой рассылкой можно пользоваться, чтобы задать вопрос лектору или
кому-нибудь из своих товарищей по теме спецкурса.)
Запись в листочке на последней лекции не отменяет необходимости записи
на конкретный день.
Каждому дается только одна попытка сдачи (в один из назначенных дней).
Пересдача будет только осенью,
так что готовьтесь тщательно!
-
Дневник лекций 2011 года
Полезные ссылки для подготовки к экзамену
Отсюда можно скачать текст книги "Языки и исчисления",
которая покрывает часть курса.
Здесь можно прочитать про
арифметику Пеано, арифметические множества и
первую и вторую теоремы Геделя о неполноте.
Здесь подробно рассказано
про аксиоматическую теорию множеств ZF и даже доказаны независимость
континуум-гипотезы и аксиомы выбора.
2009 год
2007 год
Программа курса 2007 года:
TeX,
PDF,
Postscript.
2003 год