Pensum/l?ringskrav

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.

Publisert 23. des. 2011 08:43 - Sist endret 17. jan. 2012 17:04