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

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

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

Лекции

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

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

Результаты

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

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