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