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

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
Строка 9: Строка 9:
 
[https://docs.google.com/spreadsheets/d/1OGcngj-BakMAwX2vCBWfG3AwOXCZycXA_p4QFUsUAmg/edit#gid=0 Результаты (группа Исаева)]
 
[https://docs.google.com/spreadsheets/d/1OGcngj-BakMAwX2vCBWfG3AwOXCZycXA_p4QFUsUAmg/edit#gid=0 Результаты (группа Исаева)]
  
 +
===Правила получения зачета===
 +
Подгруппа Д.Н. Москвина должна нарешать минимум 80% (в табличке). У кого будет недобор, тот приходит 23 декабря к 12:00 и решает задачки.
 +
 +
Подруппа В. Исаева пока не известно, но там свои правила на усмотрение Валеры.
 
== Лекции ==
 
== Лекции ==
  

Версия 14:08, 24 ноября 2014

Лектор - Москвин Денис Николаевич (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