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

Материал из SEWiki
Перейти к: навигация, поиск
Строка 22: Строка 22:
 
  |Исчисление высказываний гильбертовского типа
 
  |Исчисление высказываний гильбертовского типа
 
  |Слайды [[Медиа:Mlc03.pdf|PDF]]
 
  |Слайды [[Медиа:Mlc03.pdf|PDF]]
 +
|-
 +
!Лекция 4
 +
|Исчисление высказываний
 +
генценовского типа
 +
|Слайды [[Медиа:Mlc04.pdf|PDF]]
 +
|-
 +
!Лекция 5
 +
|Интуиционистское исчисление
 +
высказываний
 +
|Слайды [[Медиа:Mlc05.pdf|PDF]]
 
  |-}
 
  |-}

Версия 23:54, 6 октября 2014

Лектор - Мосвин Денис Николаевич (dmoskvin@gmail.com)

Практика - Мосвин Денис Николаевич, Исаев Валерий Иванович (valery.isaev@gmail.com)

Лекции

Лекция 1 Логика высказываний Слайды PDF
Лекция 2 Полные системы связок Слайды PDF
Практика 2 Нормальные формы Слайды PDF
Лекция 3 Исчисление высказываний гильбертовского типа Слайды PDF
Лекция 4 Исчисление высказываний

генценовского типа

Слайды PDF
Лекция 5 Интуиционистское исчисление

высказываний

Слайды PDF