Математическая логика
Исчисление предикатов, полнота, теоремы Гёделя
Другие названия: Матлогика, Математическая логика и теория алгоритмов
56 записей лекций, около 18 часов
Записи лекций
- ИТМО — [s4 | 2021] Математическая логика, Д.Г. Штукенберг, 14 лекций
- ВШЭ — Рыбаков М.Н. Логика и алгоритмы 2. Весна 2021, 53 лекции
- МФТИ — Матлогика (1 курс, ПМФ) - лектор Дашков, 31 лекция
- МФТИ — Математическая логика и теория алгоритмов (1 курс, весна 2025) - Мусатов Д. В., 14 лекций
- МФТИ — Математическая логика и теория алгоритмов (1 курс, весна 2022) - Мусатов Д. В., 17 лекций
- МФТИ — Введение в математическую логику (2 курс, осень 2023), 15 лекций
Что нужно знать заранее
Что открывает дальше
Область знаний
Карта знаний