Математическая логика и теория алгоритмов 2 2015 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
Строка 13: Строка 13:
 
Задание на 28.09. [[Файл:Logic.computability - 4.pdf]]
 
Задание на 28.09. [[Файл:Logic.computability - 4.pdf]]
  
Задание на 06.10. [[Файл:Logic.computability - 5.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