Theory of Computation
1. Computablity models and Thuring-Church thesis 2. Coding and universal Turing machin 3. enumerability 4. non computable sets 5. computable reducibility 6. Oracles 7. P vs NP 8. Post theorem: Priority 9. Computable analysis