Мат логика 2014 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
Строка 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