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