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