Матлогика, 2 курс, 4 семестр, 2016/17
Материал из SEWiki
Лекции
Преподаватель: Ицыксон Дмитрий Михайлович
Практика Соколов
№ | Дата | Примечания |
---|---|---|
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 |