Мат логика 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 |
