Мат логика 2014 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) (→Лекции) |
Adkozlov (обсуждение | вклад) |
||
Строка 48: | Строка 48: | ||
|Исчисление предикатов гильбертовского типа | |Исчисление предикатов гильбертовского типа | ||
|Слайды [[Медиа:Mlc08.pdf|PDF]] | |Слайды [[Медиа:Mlc08.pdf|PDF]] | ||
+ | |- | ||
+ | !Лекция 9 | ||
+ | |Теорема Гёделя о полноте исчисления предикатов | ||
+ | |Слайды [[Медиа:Mlc09.pdf|PDF]] | ||
|-} | |-} |
Версия 22:59, 10 ноября 2014
Лектор - Москвин Денис Николаевич (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 |