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