Матлогика, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Практика) |
|||
Строка 14: | Строка 14: | ||
[[Медиа:Mlc06.pdf|Лекция 6. Логика предикатов первого порядка]] | [[Медиа:Mlc06.pdf|Лекция 6. Логика предикатов первого порядка]] | ||
+ | |||
+ | [[Медиа:Mlc07.pdf|Лекция 7. Общезначимые формулы логики предикатов]] | ||
== Практика == | == Практика == |
Версия 14:44, 29 марта 2017
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Лекция 6. Логика предикатов первого порядка
Лекция 7. Общезначимые формулы логики предикатов
Практика
Практика 1, 2. Нормальные формы
Практика 3, 4. Исчисление высказываний
Практика 5, 6. Интуиционистское исчисление высказываний; Логика предикатов