Мат логика 2014 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) |
Adkozlov (обсуждение | вклад) |
||
Строка 22: | Строка 22: | ||
|Исчисление высказываний гильбертовского типа | |Исчисление высказываний гильбертовского типа | ||
|Слайды [[Медиа:Mlc03.pdf|PDF]] | |Слайды [[Медиа:Mlc03.pdf|PDF]] | ||
+ | |- | ||
+ | !Лекция 4 | ||
+ | |Исчисление высказываний | ||
+ | генценовского типа | ||
+ | |Слайды [[Медиа:Mlc04.pdf|PDF]] | ||
+ | |- | ||
+ | !Лекция 5 | ||
+ | |Интуиционистское исчисление | ||
+ | высказываний | ||
+ | |Слайды [[Медиа:Mlc05.pdf|PDF]] | ||
|-} | |-} |
Версия 23:54, 6 октября 2014
Лектор - Мосвин Денис Николаевич (dmoskvin@gmail.com)
Практика - Мосвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)
Лекции
Лекция 1 | Логика высказываний | Слайды PDF |
---|---|---|
Лекция 2 | Полные системы связок | Слайды PDF |
Практика 2 | Нормальные формы | Слайды PDF |
Лекция 3 | Исчисление высказываний гильбертовского типа | Слайды PDF |
Лекция 4 | Исчисление высказываний
генценовского типа |
Слайды PDF |
Лекция 5 | Интуиционистское исчисление
высказываний |
Слайды PDF |