Матлогика, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Лекции) |
(→Практика) |
||
Строка 11: | Строка 11: | ||
== Практика == | == Практика == | ||
− | [[Медиа:Mlc02pr.pdf|Практика 1, 2 | + | [[Медиа:Mlc02pr.pdf|Практика 1, 2. Нормальные формы]] |
== Ссылки == | == Ссылки == |
Версия 18:27, 28 февраля 2017
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Практика
Практика 1, 2. Нормальные формы