Матлогика, 2 курс, 4 семестр, 2016/17

Материал из SEWiki
Версия от 00:51, 15 февраля 2017; Dmitry.Sokolov (обсуждение | вклад) (Практика Соколов)

Перейти к: навигация, поиск

Лекции

Преподаватель: Ицыксон Дмитрий Михайлович

Практика Соколов

[ Результаты]

Дата Примечания
1 На 14.02.2017 Исчисление секвенций
2 На 21.02.2017

Практика Кноп