Мат логика 2014 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) (→Лекции) |
AKramar (обсуждение | вклад) |
||
| Строка 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 |
