Матлогика, 2 курс, 4 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Практика Соколов) |
(→Практика Соколов) |
||
(не показано 9 промежуточных версий этого же участника) | |||
Строка 35: | Строка 35: | ||
|- | |- | ||
!5 | !5 | ||
− | |align = center | [[Медиа: | + | |align = center | [[Медиа:DM_05.pdf | На 14.03.2017]] |
| | | | ||
+ | |- | ||
+ | !6 | ||
+ | |align = center | [[Медиа:ML_06.pdf | На 21.03.2017]] | ||
+ | |align = center | [[Медиа:ML_Table_2.pdf | Исчисление секвенций]] | ||
+ | |||
+ | |- | ||
+ | !7 | ||
+ | |align = center | [[Медиа:ML_07.pdf | На 28.03.2017]] | ||
+ | | | ||
+ | |||
+ | |- | ||
+ | !8 | ||
+ | |align = center | [[Медиа:ML_08.pdf | На 04.04.2017]] | ||
+ | | | ||
+ | |||
+ | |- | ||
+ | !9 | ||
+ | |align = center | [[Медиа:ML_09.pdf | На 11.04.2017]] | ||
+ | | | ||
+ | |||
+ | |- | ||
+ | !10 | ||
+ | |align = center | [[Медиа:ML_10.pdf | На 18.04.2017]] | ||
+ | | | ||
+ | |||
+ | |- | ||
+ | !11 | ||
+ | |align = center | [[Медиа:ML_11.pdf | На 25.04.2017]] | ||
+ | | | ||
+ | |||
+ | |- | ||
+ | !12 | ||
+ | |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 |