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