Математическая логика и теория алгоритмов 2 2015 — различия между версиями
Материал из SEWiki
(→Группа Д. О. Соколова) |
|||
| Строка 3: | Строка 3: | ||
'''Практика:''' Дмитрий Олегович Соколов ([mailto:sokolov.dmt@gmail.com sokolov.dmt@gmail.com]), Александр Анатольевич Кноп ([mailto:aaknop@gmail.com aaknop@gmail.com]) | '''Практика:''' Дмитрий Олегович Соколов ([mailto:sokolov.dmt@gmail.com sokolov.dmt@gmail.com]), Александр Анатольевич Кноп ([mailto:aaknop@gmail.com aaknop@gmail.com]) | ||
| + | == Коллоквиум == | ||
| + | [http://logic.pdmi.ras.ru/~dmitrits/au/MLColloqium.pdf Вопросы]. | ||
| + | |||
| + | Для успешной сдачи коллоквиума нужно уверенно знать и понимать все определения и утверждения из курса и разбираться во всех доказательствах. | ||
| + | |||
| + | Коллоквиум состоится в воскресенье 8-го ноября в 17-00. Коллоквиум письменный, длительность: 3 часа, хотя задания будут рассчитаны на то, что с ними можно справиться за 2 часа. Пользоваться во время коллоквиума никакими материалами нельзя. Задания будут состоять из теоретических вопросов, вопросов на понимания и задач. | ||
== Группа Д. О. Соколова == | == Группа Д. О. Соколова == | ||
Версия 17:12, 7 ноября 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 |
