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