Математическая логика и теория алгоритмов 2 2015 — различия между версиями
Материал из SEWiki
| Строка 13: | Строка 13: | ||
Задание на 28.09. [[Файл:Logic.computability - 4.pdf]] | Задание на 28.09. [[Файл:Logic.computability - 4.pdf]] | ||
| − | Задание на | + | Задание на 05.10. [[Файл:Logic.computability - 5.pdf]] |
Версия 12:11, 5 октября 2015
Лектор — Дмитрий Михайлович Ицыксон (dmitrits@pdmi.ras.ru)
Практика — Александр Анатольевич Кноп (aaknop@gmail.com), Дмитрий Олегович Соколов (sokolov.dmt@gmail.com)
Задания для группы Соколова Д. О.:
Задание на 07.09. Файл:Logic.computability - 1.pdf
Задание на 14.09. Файл:2.pdf
Задание на 21.09. Файл:3.pdf
Задание на 28.09. Файл:Logic.computability - 4.pdf
Задание на 05.10. Файл:Logic.computability - 5.pdf
