Факультатив "Математическая логика" на ФКН ВШЭ.

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).