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

Материал из SEWiki
Перейти к: навигация, поиск
м
Строка 31: Строка 31:
 
  |Слайды [[Медиа:Mlc05.pdf|PDF]]
 
  |Слайды [[Медиа:Mlc05.pdf|PDF]]
 
  |-}
 
  |-}
 +
 +
== Результаты ==
 +
 +
https://docs.google.com/spreadsheets/d/16JUVtAvyVDRrVP5aJDxWuC2GgZvKEmsPbHJYPPXnBa4/edit#gid=0

Версия 15:53, 8 октября 2014

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

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

Лекции

Результаты

https://docs.google.com/spreadsheets/d/16JUVtAvyVDRrVP5aJDxWuC2GgZvKEmsPbHJYPPXnBa4/edit#gid=0

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