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

Материал из SEWiki

Версия от 00:35, 17 марта 2017; Dmitry.Sokolov (обсуждение | вклад) (→‎Практика Соколов)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

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

Лекции

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

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

Результаты

№	Дата	Примечания
1	На 14.02.2017	Исчисление секвенций
2	На 21.02.2017
3	На 28.02.2017
4	На 07.03.2017
5	На 14.03.2017
6	На 21.03.2017	[[Медиа:ML_Table_2.pdf \| Исчисление секвенций]

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

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Матлогика,_2_курс,_4_семестр,_2016/17&oldid=10697»

Навигация