Матлогика, 2 курс, 4 семестр, 2016/17
Материал из SEWiki
Лекции
Преподаватель: Ицыксон Дмитрий Михайлович
Практика Соколов
| № | Дата | Примечания |
|---|---|---|
| 1 | На 14.02.2017 | Исчисление секвенций |
| 2 | На 21.02.2017 | |
| 3 | На 28.02.2017 | |
| 4 | На 07.03.2017 |
Преподаватель: Ицыксон Дмитрий Михайлович
| № | Дата | Примечания |
|---|---|---|
| 1 | На 14.02.2017 | Исчисление секвенций |
| 2 | На 21.02.2017 | |
| 3 | На 28.02.2017 | |
| 4 | На 07.03.2017 |
