Мат логика 2014 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) |
Adkozlov (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
− | Лектор - Мосвин Денис Николаевич | + | Лектор - Мосвин Денис Николаевич (<b>dmoskvin@gmail.com</b>) |
− | Практика - Мосвин Денис Николаевич, Исаев Валерий Иванович | + | Практика - Мосвин Денис Николаевич, Исаев Валерий Иванович (<b>valery.isaev@gmail.com</b>) |
+ | |||
+ | == Лекции == | ||
+ | |||
+ | {| border="1" | ||
+ | |- | ||
+ | !Лекция 1 | ||
+ | |Логика высказываний | ||
+ | |Слайды [[Медиа:Mlc01.pdf|PDF]] | ||
+ | |- | ||
+ | !Лекция 2 | ||
+ | |Полные системы связок | ||
+ | |Слайды [[Медиа:Mlc02.pdf|PDF]] | ||
+ | |- | ||
+ | !Практика 2 | ||
+ | |Нормальные формы | ||
+ | |Слайды [[Медиа:Mlc02pr.pdf|PDF]] | ||
+ | |- | ||
+ | !Лекция 3 | ||
+ | |Исчисление высказываний гильбертовского типа | ||
+ | |Слайды [[Медиа:Mlc03.pdf|PDF]] | ||
+ | |-} |
Версия 14:24, 23 сентября 2014
Лектор - Мосвин Денис Николаевич (dmoskvin@gmail.com)
Практика - Мосвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)
Лекции
Лекция 1 | Логика высказываний | Слайды PDF |
---|---|---|
Лекция 2 | Полные системы связок | Слайды PDF |
Практика 2 | Нормальные формы | Слайды PDF |
Лекция 3 | Исчисление высказываний гильбертовского типа | Слайды PDF |