Введение в математическую логику и теорию алгоритмов 2023 (А. Л. Семенов)
Лектор: академик РАН Семенов Алексей Львович
Лекции на 2-м курсе мехмата МГУ
- Материалы для группы 141
- Программа (2023 год, обновлено 29.12.2023) | скачать (PDF)
- Чат в Телеграм с материалами курса для студентов
Материалы лекций
-
Лекция 1. Наивная теория множеств
презентация (PDF) 2023 г. | материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент. 2022 г.
-
Лекция 2. Вполне упорядоченные множества
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент. 2022 г. | презентация (PDF) сент. 2022 г.
-
Лекция 3. Логические языки
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент 2022 г. | презентация (PDF) сент 2022 г.
-
Лекция 4. Элиминация кванторов в поле действительных чисел
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент 2022 г. | презентация (PDF) сент 2022 г.
-
Лекция 5. Модальная логика
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент 2022 г.
-
Лекция 6. Построение модели теории в логике отношений
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент 2022 г.
-
Лекция 7. Теория моделей. Определения и примеры
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) окт 2022 г.
-
Лекция 8. Структуры и теории. Элементарные расширения
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) окт 2022 г.
-
Лекция 9. Полные теории
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) окт 2022 г.
-
Лекция 10. Решётка определимости. Автоморфизмы
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) сент 2022 г. | презентация (PDF) окт 2022 г.
-
Лекция 11. Математическое изучение математики
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) нояб 2022 г.
-
Лекция 12. Неполнота математики. Теорема Гёделя
материалы без решений (PDF) 2023 г. | материалы с решениями (PDF) 2023 г. | видео лекции (YouTube) нояб 2022 г.
-
Лекция 13. Исчисления и породимые множества
презентация (PDF) 2023 г. | материалы без решений (PDF) дек 2023 г. | материалы с решениями (PDF) дек 2023 г. | видео лекции (YouTube) нояб 2022 г.
-
Лекция 14. Алгоритмы и вычислимые функции
материалы без решений (PDF) дек 2023 г. | материалы с решениями (PDF) дек 2023 г. | видео лекции (YouTube) дек 2022 г.
-
Лекция 15. Вычислимость в теории множеств
материалы без решений (PDF) дек 2023 г. | материалы с решениями (PDF) дек 2023 г. | видео лекции (YouTube) дек 2022 г. | презентация (PDF) дек 2022 г.
-
Лекция 16. Сложность вычислений и объектов
материалы без решений (PDF) дек 2023 г. | материалы с решениями (PDF) дек 2023 г. | видео лекции (YouTube) дек 2022 г. | презентация (PDF) дек 2022 г.
Информация о семинарах в группах 209/210 (семинарист Оноприенко А.А.).