Computability theory
Turing machines, decidability, reductions
Also known as: Recursion Theory
1 lecture recording, about 13 hours
Lecture recordings
- Лекториум — Вычислимость и логика, 11 lectures
What you need first
Field of knowledge
The map of knowledge