Mathematical logic
Predicate calculus, completeness, Gödel's theorems
Also known as: Logic and Computability, Theory of Algorithms
20 lecture recordings, about 19 hours
Lecture recordings
- Maths is fun by Sana Sultana — Mathematical Logic, 8 lectures
- Marco Benini — Logica ad Informatica, 25 lectures
- ВШЭ — Рыбаков М.Н. Логика и алгоритмы 2. Весна 2021, 53 lectures
- МФТИ — Математическая логика и теория алгоритмов (1 курс, весна 2025) - Мусатов Д. В., 14 lectures
- МФТИ — Математическая логика и теория алгоритмов (1 курс, весна 2022) - Мусатов Д. В., 17 lectures
- МФТИ — Математическая логика и теория алгоритмов (1 курс, осень 2021) - Мусатов Д. В., 15 lectures
What you need first
What it opens up
Field of knowledge
The map of knowledge