Sehr empfehlenswert:

• J. Hopcroft, R. Motwani, J. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Pearson 2002 Dieses Buch bildet den Leittext für diese Veranstaltung.
• Folien der Vorlesung.
• G. Vossen, K.-U. Witt: Grundkurs Theoretische Informatik. 3. Auflage, Vieweg 2004
• M. Sipser: Introduction to the Theory of Computation. PWS 1997

Auch lesenswert:

• P. Leypold: Schneller Studieren. Pearson 2005
• K.-U. Witt: Vorkurs Mathematik. Fachhochschule Bonn-Rhein-Sieg 2004
• A. Asteroth, C. Baier: Theoretische Informatik. Pearson 2002
• H. Ehrig: Mathematisch-strukturelle Grundlagen der Informatik. Springer 2001
• I. Wegener: Theoretische Informatik. Teubner Verlag 1993
• U. Schöning: Theoretische Informatik - kurzgefaßt. Spektrum-Verlag 1994
• K. Erk, L. Priese: Theoretische Informatik. Springer 2000
• H. Lewis, C. Papadimitriou: Elements of the Theory of Computation. Prentice-Hall 1998
• Mitschriften von Kommilitonen früherer Semester liegen auf dem Server des Lehrgebiets "Didaktik der Informatik" bereit: Theorie I  Theorie II

Material zu speziellen Themen

Rekursive Funktionen

Es gibt Skripten im Web an den Universitäten Heidelberg, Hamburg (HAW), Berlin (HU), Erlangen und an vielen anderen Stellen.

Es gibt Skripten im Web an den Universitäten München (TU), Tübingen und an diversen anderen Stellen.

Lesenswertes zur Arbeitsethik

• Code of Academic Integrity (Cornell University)
• Missverständnisse zum Urheberrecht

Programme

• Zum Lesen und Drucken der Folien und der Übungsblätter kann der kostenlose Adobe Acrobat Reader verwendet werden.