Мат логика 2014 — различия между версиями
Материал из SEWiki
м |
Adkozlov (обсуждение | вклад) |
||
Строка 31: | Строка 31: | ||
|Слайды [[Медиа:Mlc05.pdf|PDF]] | |Слайды [[Медиа:Mlc05.pdf|PDF]] | ||
|-} | |-} | ||
+ | |||
+ | == Результаты == | ||
+ | |||
+ | https://docs.google.com/spreadsheets/d/16JUVtAvyVDRrVP5aJDxWuC2GgZvKEmsPbHJYPPXnBa4/edit#gid=0 |
Версия 15:53, 8 октября 2014
Лектор - Москвин Денис Николаевич (dmoskvin@gmail.com)
Практика - Москвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)
Лекции
Лекция 1 | Логика высказываний | Слайды PDF |
---|---|---|
Лекция 2 | Полные системы связок | Слайды PDF |
Практика 2 | Нормальные формы | Слайды PDF |
Лекция 3 | Исчисление высказываний гильбертовского типа | Слайды PDF |
Лекция 4 | Исчисление высказываний генценовского типа | Слайды PDF |
Лекция 5 | Интуиционистское исчисление высказываний | Слайды PDF |