Literatur

Bücher (unmittelbar relevant)
Arora, Barak – Computational Complexity: A Modern Approach, Cambridge University Press, 2009
Goldreich – Computational Complexity, A Conceptual Perspective, Cambridge University Press, 2008
Schöning – Logik für Informatiker, Spektrum Akademischer Verlag, 2000
Wegener – Theoretische Informatik, Vieweg+Teubner Verlag, 1993
Wegener – Komplexitätstheorie, Springer-Verlag, 2003

Weitere Literatur
Aaronson – Quantum computing since Demokritus, Cambridge, 2013
Davis – The Undecidable (basic papers on undecidable propositions, unsolvable problems, and computable functions), Dover, 2004
Doxiadis, Papadimitriou – Logicomix: Eine epische Suche nach Wahrheit, 2010
Welzl – Basic Examples of Probabilistic Analysis, 2002