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

Версия 23:16, 8 октября 2015

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

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

Задания для группы Соколова Д. О.:

Задание на 14.09. Файл:2.pdf

Задание на 21.09. Файл:3.pdf

Версия 12:11, 5 октября 2015 (просмотреть исходный код) E.f.suvorov (обсуждение \| вклад) ← Предыдущая правка		Версия 23:16, 8 октября 2015 (просмотреть исходный код) Dmitry.Sokolov (обсуждение \| вклад) Следующая правка →
Строка 14:		Строка 14:

	Задание на 05.10. [[Файл:Logic.computability - 5.pdf]]		Задание на 05.10. [[Файл:Logic.computability - 5.pdf]]
		+
		+	Задание на 12.10. [[Файл:Logic.computability - 6.pdf]]