Матлогика, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Лекции) |
|||
Строка 12: | Строка 12: | ||
[[Медиа:Mlc02pr.pdf|Практика 1, 2: Нормальные формы]] | [[Медиа:Mlc02pr.pdf|Практика 1, 2: Нормальные формы]] | ||
+ | |||
+ | == Ссылки == | ||
+ | |||
+ | * [http://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf|Н. К. Верещагин, А. Шень - Начала теории множеств] | ||
+ | * [http://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf|Н. К. Верещагин, А. Шень - Языки и исчисления] |
Версия 18:26, 28 февраля 2017
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2: Полные системы связок
Лекция 3: Исчисление высказываний гильбертовского типа
Практика
Практика 1, 2: Нормальные формы