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

Материал из SEWiki
Перейти к: навигация, поиск
м
 
(не показаны 23 промежуточные версии 3 участников)
Строка 1: Строка 1:
−
Лектор - Мосвин Денис Николаевич
+
Лектор - Москвин Денис Николаевич (<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]]
 +
|-
 +
!Лекция 11
 +
|Вычислимость, разрешимость, перечислимость
 +
|Слайды [[Медиа:Mlc11.pdf|PDF]]
 +
|-
 +
!Лекция 12
 +
|Неразрешимые множества и их свойства
 +
|Слайды [[Медиа:Mlc12.pdf|PDF]]
 +
|-
 +
!Лекция 13
 +
|Модели вычислений
 +
|Слайды [[Медиа:Mlc13.pdf|PDF]]
 +
|-
 +
!Лекция 14
 +
|Рекурсивные функции
 +
|Слайды [[Медиа:Mlc14.pdf|PDF]]
 +
|-}
 +
 
 +
[[Category:5 курс. Осень 2014]]

Текущая версия на 12:25, 15 февраля 2015

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

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

Результаты

Результаты

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

Правила получения зачета

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

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

Лекции

Лекция 1 Логика высказываний Слайды PDF
Лекция 2 Полные системы связок Слайды PDF
Практика 2 Нормальные формы Слайды PDF
Лекция 3 Исчисление высказываний гильбертовского типа Слайды PDF
Лекция 4 Исчисление высказываний генценовского типа Слайды PDF
Лекция 5 Интуиционистское исчисление высказываний Слайды PDF
Лекция 6 Логика предикатов первого порядка Слайды PDF
Лекция 7 Общезначимые формулы логики предикатов Слайды PDF
Лекция 8 Исчисление предикатов гильбертовского типа Слайды PDF
Лекция 9 Теорема Гёделя о полноте исчисления предикатов Слайды PDF
Лекция 10 Секвенциальное исчисление предикатов Слайды PDF
Лекция 11 Вычислимость, разрешимость, перечислимость Слайды PDF
Лекция 12 Неразрешимые множества и их свойства Слайды PDF
Лекция 13 Модели вычислений Слайды PDF
Лекция 14 Рекурсивные функции Слайды PDF
Источник — «http://mit.spbau.ru/sewiki/index.php?title=Мат_логика_2014&oldid=5380»