Мат логика 2014 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) |
м |
||
| Строка 1: | Строка 1: | ||
| − | Лектор - | + | Лектор - Москвин Денис Николаевич (<b>dmoskvin@gmail.com</b>) |
| − | Практика - | + | Практика - Москвин Денис Николаевич, Исаев Валерий Иванович (<b>valery.isaev@gmail.com</b>) |
== Лекции == | == Лекции == | ||
Версия 15:09, 8 октября 2014
Лектор - Москвин Денис Николаевич (dmoskvin@gmail.com)
Практика - Москвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)
Лекции
| Лекция 1 | Логика высказываний | Слайды PDF |
|---|---|---|
| Лекция 2 | Полные системы связок | Слайды PDF |
| Практика 2 | Нормальные формы | Слайды PDF |
| Лекция 3 | Исчисление высказываний гильбертовского типа | Слайды PDF |
| Лекция 4 | Исчисление высказываний генценовского типа | Слайды PDF |
| Лекция 5 | Интуиционистское исчисление высказываний | Слайды PDF |
