Матлогика, 2 курс, 4 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Практика Соколов) |
(→Практика Соколов) |
||
Строка 41: | Строка 41: | ||
!6 | !6 | ||
|align = center | [[Медиа:ML_06.pdf | На 21.03.2017]] | |align = center | [[Медиа:ML_06.pdf | На 21.03.2017]] | ||
− | |align = center | [[Медиа:ML_Table_2.pdf | Исчисление секвенций] | + | |align = center | [[Медиа:ML_Table_2.pdf | Исчисление секвенций]] |
|} | |} | ||
== Практика Кноп == | == Практика Кноп == |
Версия 00:36, 17 марта 2017
Лекции
Преподаватель: Ицыксон Дмитрий Михайлович
Практика Соколов
№ | Дата | Примечания |
---|---|---|
1 | На 14.02.2017 | Исчисление секвенций |
2 | На 21.02.2017 | |
3 | На 28.02.2017 | |
4 | На 07.03.2017 | |
5 | На 14.03.2017 | |
6 | На 21.03.2017 | Исчисление секвенций |