Математическая логика и теория алгоритмов 2 2015

Материал из SEWiki
Версия от 03:28, 9 декабря 2015; Dmitry.Sokolov (обсуждение | вклад) (Группа Д. О. Соколова)

Перейти к: навигация, поиск

Лекции: Дмитрий Михайлович Ицыксон (dmitrits@pdmi.ras.ru)

Практика: Дмитрий Олегович Соколов (sokolov.dmt@gmail.com), Александр Анатольевич Кноп (aaknop@gmail.com)

Коллоквиум

Вопросы.

Для успешной сдачи коллоквиума нужно уверенно знать и понимать все определения и утверждения из курса и разбираться во всех доказательствах.

Коллоквиум состоится в воскресенье 8-го ноября в 17-00. Коллоквиум письменный, длительность: 3 часа, хотя задания будут рассчитаны на то, что с ними можно справиться за 2 часа. Пользоваться во время коллоквиума никакими материалами нельзя. Задания будут состоять из теоретических вопросов, вопросов на понимания и задач.

Группа Д. О. Соколова

Таблица с результатами (метки столбцов соответсвуют задачам, цифра в клетке указывает сколько задач необходимо сделать во время досдачи).


Дата Примечания
1 На 07.09.2015
2 На 14.09.2015
3 На 21.09.2015
4 На 28.09.2015
5 На 05.10.2015
6 На 12.10.2015
7 На 19.10.2015
8 На 26.10.2015 Осталась задача №40
9 На 09.11.2015
10 На 16.11.2015
11 На 23.11.2015
12 На 30.11.2015 Письменно
13 На 06.12.2015 Письменно (напоминаю, что время сдачи - не позднее 10:00 понедельника)
14 На 14.12.2015

Группа А. А. Кнопа

Задания и результаты