Für eine korrekte Darstellung dieser Seite benötigen Sie einen XHTML-standardkonformen Browser, der die Darstellung von CSS-Dateien zulässt.

..
Suche

Personensuche
Veranstaltungssuche
Katalog der UB Siegen
/ nt / eti / cbsa / teaching / gti
home
 

Grundlagen der theoretischen Informatik

Die Klausurergebnisse zur Nachklausur finden Sie hier

Übungen

Lösungen

Unterlagen

Literatur

  • Harry R. Lewis, Christos H. Papadimitriou: Elements of the theory of computation, Prentice Hall

    Der Stoff der Vorlesung orientiert sich hauptsächlich an diesem Buch, vor allem die verwendeten Notationen und Begriffe.

  • Alexander Asteroth, Christel Baier: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen, Pearson Studium

    Das Buch beginnt zwar mit Berechenbarkeit, soll es aber auch ermöglichen, zuerst die Kapitel über formale Sprachen zu lesen.

  • John E. Hopcroft, Jeffrey D. Ullmann: Introduction to automata theory, languages, and computation, Addison Wesley

  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullmann: Introduction to automata theory, languages, and computation, Pearson, Addison Wesley

  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullmann: Einführung in die Automatentheorie, Formale Sprachen und Berechenbarkeit, Pearson Studium

    Eine deutsche Übersetzung, von der eher abzuraten ist.

  • Uwe Schöning: Theoretische Informatik - kurz gefasst (5. Edition), Spektrum Akademischer Verlag, 2008, ISBN 3827418240, 9783827418241