Математическая логика
Математика
16 лекций
Курс, читаемый на Отделении теоретической и прикладной лингвистики (ОТиПЛ) филологического факультета МГУ
2022
лекции
Филологический факультет
Математика
VI семестр
3 курс
Преподаватель
- 01:18:50Лекция 1. Логика высказываний
- 01:03:22Лекция 2. Дизъюнктивная нормальная форма
- 01:11:03Лекция 3. Генценовское исчисление высказываний
- 01:14:08Лекция 4. Логика I порядка. Синтаксис и семантика
- 01:13:29Лекция 5. Логика I порядка. Общезначимость. Эквивалентность
- 01:01:31Лекция 6. Логика I порядка. Выразимость. Изоморфизм
- 01:10:41Лекция 7. Изоморфизм и элементарная эквивалентность структур
- 35:57Лекция 8. Логика предикатов с равенством
- 01:01:18Лекция 9. Выводимость в логике I порядка. Исчисление предикатов
- 01:05:16Лекция 10. Теорема о компактности и её следствия
- 36:04Лекция 11. Модальная логика
- 01:14:39Лекция 12. Модальная логика. Семантика Крипке
- 52:55Лекция 13. Минимальная модальная логика К и другие логики
- 01:22:07Лекция 14. Временная логика
- 01:26:42Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество
- 46:04Лекция 16. Теория алгоритмов. Универсальная вычислимая функция