Матлогика, 5 курс, 2 семестр, 2016/17 — различия между версиями
(→Ссылки) |
|||
| Строка 40: | Строка 40: | ||
* [http://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Н. К. Верещагин, А. Шень - Языки и исчисления] | * [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] | * [http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf M. H. Sørensen, P. Urzyczyn - Lectures on the Curry-Howard Isomorphism] | ||
Версия 23:55, 23 апреля 2017
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Лекция 6. Логика предикатов первого порядка
Лекция 7. Общезначимые формулы логики предикатов
Лекция 8. Исчисление предикатов гильбертовского типа
Лекция 9. Теорема Гёделя о полноте исчисления предикатов
Лекция 10. Секвенциальное исчисление предикатов
Практика
Практика 1, 2. Нормальные формы
Практика 3, 4. Исчисление высказываний
Практика 5, 6. Интуиционистское исчисление высказываний; Логика предикатов
Практика 7, 8. Общезначимые формулы; вывод в исчислении предикатов
Практика 9, 10. Невыразимые предикаты, секвенциальное исчисление предикатов
