Pensum/l?ringskrav

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.comFulltekst.

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 13. jan. 2015 09:37 - Sist endret 19. mai 2015 15:04