Мат логика 2014 — различия между версиями
Материал из SEWiki
Adkozlov (обсуждение | вклад) |
м |
||
| (не показаны 22 промежуточные версии 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 и решает задачки. | ||
| + | |||
| + | Подгруппа В. Исаева пока не известно, но там свои правила на усмотрение Валеры. | ||
== Лекции == | == Лекции == | ||
| Строка 22: | Строка 33: | ||
|Исчисление высказываний гильбертовского типа | |Исчисление высказываний гильбертовского типа | ||
|Слайды [[Медиа:Mlc03.pdf|PDF]] | |Слайды [[Медиа: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 |
