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