1
2
Analysis of algorithms and problem complexity
Computation by abstract devices
Logics and meanings of programs
Mathematical logic and formal languages
Natural computation
Theory and mathematics general