Матлогика, 2 курс, 4 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Практика Соколов) |
(→Практика Соколов) |
||
| Строка 70: | Строка 70: | ||
|- | |- | ||
!12 | !12 | ||
| − | |align = center | [[Медиа:ML_12.pdf | На 02.05.2017 | + | |align = center | [[Медиа:ML_12.pdf | На 02.05.2017]] |
| + | | | ||
| + | |||
| + | |||
| + | |- | ||
| + | !13 | ||
| + | |align = center | [[Медиа:ML_13.pdf | На 16.05.2017]] | ||
| | | | ||
|} | |} | ||
== Практика Кноп == | == Практика Кноп == | ||
Текущая версия на 23:10, 2 мая 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 | Исчисление секвенций |
| 7 | На 28.03.2017 | |
| 8 | На 04.04.2017 | |
| 9 | На 11.04.2017 | |
| 10 | На 18.04.2017 | |
| 11 | На 25.04.2017 | |
| 12 | На 02.05.2017 |
|
| 13 | На 16.05.2017 |
