Математическая логика и теория алгоритмов 2 2015 — различия между версиями
(→Группа Д. О. Соколова) |
(→Группа Д. О. Соколова) |
||
Строка 23: | Строка 23: | ||
|- | |- | ||
!1 | !1 | ||
− | |align= | + | |align=center|[[Медиа:Logic.computability_-_1.pdf | На 07.09.2015]] |
|- | |- |
Версия 00:58, 26 ноября 2015
Лекции: Дмитрий Михайлович Ицыксон (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 |
9 | На 09.11.2015 |
10 | На 16.11.2015 |
11 | На 23.11.2015 |
12 | На 30.11.2015 (письменно!) |