Michael Sipser: Introduction to the Theory of Computation, 3rd edition, 2012. amazon.co.uk, akademika.no.
Pensum er kapittel 1 -- 5 (utenom seksjon 2.4), 7, 8 og seksjon 9.1 og 9.2. I tillegg vil deler av kapittel 6 foreleses som repetisjon av kapittel 1 -- 5, men kapittel 6 er ikke i seg selv pensum. Dersom enkelte deler av pensum faller bort, eller noe blir lagt til, vil dette komme frem av timeplanen.
Mest for moro
Christos H. Papadimitriou: Computational Complexity, 1993. Amazon.com.
George S. Boolos, John P. Burgess, Richard C. Jeffrey: Computability and Logic, 2007. Amazon.com.
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation, 2006. Amazon.com.
James L. Hein: Discrete Structures, Logic, and Computability, 2010. Amazon.com. Fulltekst.
Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, Annie Di Donna: Logicomix: An Epic Search for Truth, 2009. Amazon.com.
Elwyn R. Berlekamp, John H. Conway, Richard K. Guy: Winning Ways for Your Mathematical Plays, 2001. Amazon.com.