Матлогика, 5 курс, 2 семестр, 2016/17 — различия между версиями
(→Лекции) |
(→Лекции) |
||
(не показано 14 промежуточных версий этого же участника) | |||
Строка 3: | Строка 3: | ||
== Лекции == | == Лекции == | ||
− | [[Медиа: | + | [[Медиа:Mlc01.pdf|Лекция 1. Логика высказываний]] |
− | [[Медиа: | + | [[Медиа:Mlc02.pdf|Лекция 2. Полные системы связок]] |
− | [[Медиа: | + | [[Медиа:Mlc03.pdf|Лекция 3. Исчисление высказываний гильбертовского типа]] |
+ | |||
+ | [[Медиа:Mlc04.pdf|Лекция 4. Исчисление высказываний генценовского типа]] | ||
+ | |||
+ | [[Медиа:Mlc05.pdf|Лекция 5. Интуиционистское исчисление высказываний]] | ||
+ | |||
+ | [[Медиа:Mlc06.pdf|Лекция 6. Логика предикатов первого порядка]] | ||
+ | |||
+ | [[Медиа:Mlc07.pdf|Лекция 7. Общезначимые формулы логики предикатов]] | ||
+ | |||
+ | [[Медиа:Mlc08.pdf|Лекция 8. Исчисление предикатов гильбертовского типа]] | ||
+ | |||
+ | [[Медиа:Mlc09.pdf|Лекция 9. Теорема Гёделя о полноте исчисления предикатов]] | ||
+ | |||
+ | [[Медиа:Mlc10.pdf|Лекция 10. Секвенциальное исчисление предикатов]] | ||
+ | |||
+ | [[Медиа:Mlc11.pdf|Лекция 11. Вычислимость, разрешимость, перечислимость]] | ||
+ | |||
+ | [[Медиа:Mlc12.pdf|Лекция 12. Неразрешимые множества и их свойства]] | ||
== Практика == | == Практика == | ||
− | [[Медиа:Mlc02pr.pdf|Практика 1, 2 | + | [https://docs.google.com/spreadsheets/d/1uBRsvgzAgI5556BoW36ZPk6ZuPXKjUEsrFxjtTGN2RQ Табличка с результатами] |
+ | |||
+ | [[Медиа:Mlc02pr.pdf|Практика 1, 2. Нормальные формы]] | ||
+ | |||
+ | [[Медиа:Mlc03_04pr.pdf|Практика 3, 4. Исчисление высказываний]] | ||
+ | |||
+ | [[Медиа:Mlc05_06pr.pdf|Практика 5, 6. Интуиционистское исчисление высказываний; Логика предикатов]] | ||
+ | |||
+ | [[Медиа:Mlc07_09pr.pdf|Практика 7, 8. Общезначимые формулы; вывод в исчислении предикатов]] | ||
+ | |||
+ | [[Медиа:Mlc09_10pr.pdf|Практика 9, 10. Невыразимые предикаты, секвенциальное исчисление предикатов]] | ||
+ | |||
+ | == Ссылки == | ||
+ | |||
+ | * [http://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Н. К. Верещагин, А. Шень - Языки и исчисления] | ||
+ | * [http://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf Н. К. Верещагин, А. Шень - Вычислимые функции] | ||
+ | * [http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf M. H. Sørensen, P. Urzyczyn - Lectures on the Curry-Howard Isomorphism] |
Текущая версия на 23:57, 23 апреля 2017
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Лекция 6. Логика предикатов первого порядка
Лекция 7. Общезначимые формулы логики предикатов
Лекция 8. Исчисление предикатов гильбертовского типа
Лекция 9. Теорема Гёделя о полноте исчисления предикатов
Лекция 10. Секвенциальное исчисление предикатов
Лекция 11. Вычислимость, разрешимость, перечислимость
Лекция 12. Неразрешимые множества и их свойства
Практика
Практика 1, 2. Нормальные формы
Практика 3, 4. Исчисление высказываний
Практика 5, 6. Интуиционистское исчисление высказываний; Логика предикатов
Практика 7, 8. Общезначимые формулы; вывод в исчислении предикатов
Практика 9, 10. Невыразимые предикаты, секвенциальное исчисление предикатов