Pensum defineres av forelesningene og gruppetimene og best?r av forelesningsnotatene, oppgavesettene, oppgaveregningene og annet materiale som blir tilgjengelig p? nettsidene i l?pet av semesteret. Det er alts? ingen l?rebok, men for de som er interessert kan f?lgende anbefales som ekstralitteratur.
James L. Hein: Discrete Structures, Logic, and Computability, 2010. Amazon.com. Fulltekst.
Michael Sipser: Introduction to the Theory of Computation, 2005. Amazon.com.
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.
Mest for moro
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.