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