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

Математическая логика (факультатив на ФКН ВШЭ) (осень, 2015)

Экзамен состоится в четверг 17 декабря в 10:30 ауд. 300 (за исключением Кузнецовой, для которой экзамен состоится в предыдущий день).

На экзамене надо будет рассказать одно доказательство теоремы (4 балла), три определения (по одному баллу за каждое) и три формулировки теоремы (по одному баллу за каждую).

При подготовке доказательства теоремы можно пользоваться своими рукописными конспектами (не копиями).

При подготовке остальных вопросов конспектами и книгами пользоваться нельзя.

Вопросы к экзамену

Лекции читаются по субботам
13:40-15:00, ауд. 509. Семинары также по субботам
15:10-16:30, ауд. 509.

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


Обязательные задачи для решения дома
Решения задач можно приносить на семинар на листочках или послать
по адресу nikolay.vereshchagin@gmail.com в формате PDF.


Results. Оценки за решенные задачи

Оценка за задачи (по десятибалльной системе) вычисляется как доля
решенных задач, умноженная на 10.
Оценка за курс (по десятибалльной системе) являтся средним
арифметическим из оценки за задачи (макс = 10) и оценки за экзамен (макс = 10).