Text Books:
There is no one text book that we will follow closely for the entire course.Following is a rough list. The main text book that I will follow for the theme is marked (main).
- For Theme 1 and 2 : 
- Automata and Computability - Dexter Kozen - (main)
 - Introduction to Theory of Computation - Michael Sipser
 - Theory of Computation - Dexter Kozen
 
 - Automata and Computability - Dexter Kozen - (main)
 - For Theme 3 and 4 :
- Theory of Computational Complexity - Du and Ko - (main)
 - Computational Complexity - A Modern Approach - Sanjeev Arora
 - Computational Complexity - A Conceptual Perspective - Oded Goldreich
 
 
Last updated on Sat Nov 26 13:32:00 IST 2011