Кафедра математической логики и теории алгоритмов

Математическая логика и алгоритмы, 4 курс мехмата. Весна 2013 года

Экзамен по курсу

Дата экзамена — понедельник 10 июня, начало в 10:30.
Чтобы сдать экзамен в этот день, надо заранее (не позднее 8 июня) записаться на него, подписавшись на
эту рассылку Гугла .

Программа курса

В билет входит один теоретический вопрос. Пользоваться литературой или конспектами на экзамене запрещается.

Конспект лекции с теоремами Гёделя о неполноте для ZF.

Дневник лекций