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