Theoretical
Other categories in Computer Science (8)
Lecture notes, reading lists, journals and research groups working on the mathematics behind computation. Turing machines, complexity classes, formal grammars, logic and proof techniques anchor the curriculum.