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