Просмотр исходного текста страницы Мат логика 2014

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

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

== Результаты ==

[https://docs.google.com/spreadsheets/d/16JUVtAvyVDRrVP5aJDxWuC2GgZvKEmsPbHJYPPXnBa4/edit#gid=0 Результаты]

[https://docs.google.com/spreadsheets/d/1OGcngj-BakMAwX2vCBWfG3AwOXCZycXA_p4QFUsUAmg/edit#gid=0 Результаты (группа Исаева)]

===Правила получения зачета===
Подгруппа Д.Н. Москвина должна нарешать минимум 80% (в табличке). У кого будет недобор, тот приходит 23 декабря к 12:00 и решает задачки. 

Подруппа В. Исаева пока не известно, но там свои правила на усмотрение Валеры. 
== Лекции ==

{| border="1"
 |-
!Лекция 1
 |Логика высказываний
 |Слайды [[Медиа:Mlc01.pdf|PDF]]
 |-
!Лекция 2
 |Полные системы связок
 |Слайды [[Медиа:Mlc02.pdf|PDF]]
 |-
!Практика 2
 |Нормальные формы
 |Слайды [[Медиа:Mlc02pr.pdf|PDF]]
 |-
!Лекция 3
 |Исчисление высказываний гильбертовского типа
 |Слайды [[Медиа:Mlc03.pdf|PDF]]
 |-
!Лекция 4
 |Исчисление высказываний генценовского типа
 |Слайды [[Медиа:Mlc04.pdf|PDF]]
 |-
!Лекция 5
 |Интуиционистское исчисление высказываний
 |Слайды [[Медиа:Mlc05.pdf|PDF]]
 |-
!Лекция 6
 |Логика предикатов первого порядка
 |Слайды [[Медиа:Mlc06.pdf|PDF]]
 |-
!Лекция 7
 |Общезначимые формулы логики предикатов
 |Слайды [[Медиа:Mlc07.pdf|PDF]]
 |-
!Лекция 8
 |Исчисление предикатов гильбертовского типа
 |Слайды [[Медиа:Mlc08.pdf|PDF]]
 |-
!Лекция 9
 |Теорема Гёделя о полноте исчисления предикатов
 |Слайды [[Медиа:Mlc09.pdf|PDF]]
 |-
!Лекция 10
 |Секвенциальное исчисление предикатов
 |Слайды [[Медиа:Mlc10.pdf|PDF]]
 |-}