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