Literatur
Bitte beachten Sie, dass jedes Buch nur einen Teil des
Stoffgebietes abdeckt und dass manche Definition von der in der
Vorlesung etwas abweichen kann.
- U. Schöning, Theoretische Informatik kurz
gefasst. BI-Wissenschaftsverlag, 1992.
Guter und tatsächlich sehr kurz gefasster Überblick über Formale
Sprachen, Berechenbarkeit und Komplexität
- M. Sipser, Introduction to the Theory of
Computation. PWS
Publishing, Boston, 1997.
Sehr schönes Buch, auch auf deutsch erhältlich. Turingmaschinen,
Komplexitätstheorie,
Approximationsalgorithmen, Probabilistische Algorithmen. Gute
Wiederholung von formalen Beweismethoden.
- Ch. H. Papadimitriou, Computational Complexity.
Addison-Wesley Publishing Company 1994.
Sehr verständliches Buch, Turingmaschinen, Registermaschinen,
Komplexitätstheorie, Approximationsalgorithmen, Probabilistische
Algorithmen, sehr verständliche Klassendiagramme.
-
M. Mitzenmacher, E. Upfal, Probability and
computing: Randomized algorithms and probabilistic
analysis. Cambridge Univ Pr, 2005. Anschauliche
Einführung in die Analyse von randomisierten Algorithmen.
- A. Asteroth, Ch. Baier, Theoretische Informatik.
Pearson Studium, München 2003.
Verständliche Einführung in die Registermaschinen,
Turingmaschinen und Komplexitätstheorie; formal teilweise nicht
ganz vollständig.
- K.R. Reischuk, Komplexitätstheorie. Band I:
Grundlagen. Teubner, Stuttgart,Leipzig 1999.
Sehr gutes und theoretisch sehr sauber ausgearbeitetes Buch:
Ausführliche Untersuchung von verschiedenen Maschinen- und
Speichermodellen, Hierarchie-Sätze, Zeit-Platzkomplexität,
Komplexitäsklassen
- T.M. Mitchell, Machine Learning.
McGraw-Hill 1997. NEU: 2.Auflage 2005.
Ausgezeichnete Einführung in das weite Gebiet des Maschinellen
Lernens, inklusive Theorie des Maschinellen Lernens und PAC.
- J.A. Illik, Formale Methoden der Informatik:
Von der Automatentheorie zu Algorithmen und Datenstrukturen.
Expert 2009.
Gibt guten Überblick über Automatentheorie, Turingmaschine und
formale Sprachen. Größtenteils als Google
book online lesbar.
Hilfreiche Links
Supporting Material in English