Sehr empfehlenswert:
- Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Pearson 2002 Dieses Buch bildet den Leittext für diese Veranstaltung.
- Folien der Vorlesung.
- Grundkurs Theoretische Informatik. 3. Auflage, Vieweg 2004
- Introduction to the Theory of Computation. PWS 1997
Auch lesenswert:
- Schneller Studieren. Pearson 2005
- Vorkurs Mathematik. Fachhochschule Bonn-Rhein-Sieg 2004
- Theoretische Informatik. Pearson 2002
- Mathematisch-strukturelle Grundlagen der Informatik. Springer 2001
- Theoretische Informatik. Teubner Verlag 1993
- Theoretische Informatik - kurzgefaßt. Spektrum-Verlag 1994
- Theoretische Informatik. Springer 2000
- 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.
Lambda-Kalkül
Ein altes Skript zu einer weiterführenden Veranstaltung enthält einen Großteil des hier beschriebenen Stoffes.
- Lambda Calculus - A Guide for Computer Scientists. Oxford University Press 1994
- Lambda Calculus, Types and Models. Ellis & Horwood 1993
- Introduction to Combinators and Lambda Calculus. Cambridge University Press 1986
Es gibt Skripten im Web an den Universitäten München (TU), Tübingen und an diversen anderen Stellen.
Arithmetische Repräsentierbarkeit
- Computability and Logic (Kapitel 14). 4th edition, Cambridge University Press 2002
Grundbegriffe der Graphentheorie
Ein kurzer Handout fasst die wesentlichen Begriffe in der Notation zusammen, die in der Vorlesung verwendet wird.
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.
