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

Материал из SEWiki
Перейти к: навигация, поиск
(Результаты)
(Лекции)
Строка 40: Строка 40:
 
  |Логика предикатов первого порядка
 
  |Логика предикатов первого порядка
 
  |Слайды [[Медиа:Mlc06.pdf|PDF]]
 
  |Слайды [[Медиа:Mlc06.pdf|PDF]]
 +
|-
 +
!Лекция 7
 +
|Общезначимые формулы логики предикатов
 +
|Слайды [[Медиа:Mlc07.pdf|PDF]]
 
  |-}
 
  |-}

Версия 22:10, 20 октября 2014

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

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

Результаты

Результаты

Результаты (группа Исаева)

Лекции

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