Мат логика 2014
Материал из SEWiki
Версия от 01:04, 18 ноября 2014; Adkozlov (обсуждение | вклад)
Лектор - Москвин Денис Николаевич (dmoskvin@gmail.com)
Практика - Москвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)
Результаты
Лекции
Лекция 1 | Логика высказываний | Слайды PDF | |||
---|---|---|---|---|---|
Лекция 2 | Полные системы связок | Слайды PDF | |||
Практика 2 | Нормальные формы | Слайды PDF | |||
Лекция 3 | Исчисление высказываний гильбертовского типа | Слайды PDF | |||
Лекция 4 | Исчисление высказываний генценовского типа | Слайды PDF | |||
Лекция 5 | Интуиционистское исчисление высказываний | Слайды PDF | |||
Лекция 6 | Логика предикатов первого порядка | Слайды PDF | |||
Лекция 7 | Общезначимые формулы логики предикатов | Слайды PDF | |||
Лекция 8 | Исчисление предикатов гильбертовского типа | Слайды PDF | |||
Лекция 9 | Теорема Гёделя о полноте исчисления предикатов | Слайды PDF | Лекция 10 | Секвенциальное исчисление предикатов | Слайды PDF |