Direkt zur Hauptnavigation springen Direkt zum Inhalt springen Jump to sub navigation

Bücherliste

Bücherliste

  • Burkert / Griesel / Postel
    Informatik heute: Band 2, Algorithmen und Datenstrukturen Band 1: Grundlagen und funktionales Programmieren.
    Schroedel-Schöningh 1988, ISBN 3-507-83091-4 (Schroedel)

    Älteres Schulbuch u.a. mit den Gebieten C Theoretische Informatik (Endliche Automaten, Formale Sprachen, Algorithmen und Berechenbarkeit, S. 82-116), viele Aufgaben, Schülerbuch

  • Lehmann, Eberhard
    Konzeptionelle Überlegungen zur Einbeziehung informatischer Inhalte und Methoden beim Computereinsatz im Mathematikunterricht der Sekundarstufe 2 Verlag Franzbecker 2003

    Kapitel 3.3 (S. 100-141): Zustandsgraphen in Informatik und Mathematik (Endliche Automaten und Markow-Ketten, das Busy-Beaver-Problem, Turingmaschinen, Versandproblem, Crapspiel)

  • Brecht, Werner
    Theoretische Informatik Vieweg-Verlag, Braunschweig 1995

    Grundlagen und praktische Anwendungen (u.a. Turing-Maschinen, Berechen- und Entscheidbarkeit, Komplexität, Nebenläufigkeit)

  • Dewdney, A.K.
    Der Turing-Omnibus - eine Reise durch die Informatik mit 66 Stationen Springer-Verlag, Berlin-Heidelberg, 1995

    Zahlreiche "Reiseerlebnisse" zur Technischen Informatik

  • Gasper, Leiß, Spengler, Stimm
    Technische und theoretische Informatik Bayerischer Schulbuch-Verlag, München 1992

    u.a. Endliche Automaten, Formale Sprachen, Turingmaschinen, Busy-Beaver, Unentscheidbarkeit, Halteproblem, Komplexität

  • Lehmann, Eberhard
    Die Turingmaschine im Anfangsunterricht LOGIN 1999, Heft 6, S.44-52

    Ein Bericht von den ersten Stunden eines Informatikkurses in Klasse 11

  • Werner u.a.
    Taschenbuch der Informatik Fachbuchverlag Leipzig 1995
     
  • Lehmann, Eberhard
    Wahrscheinlichkeitsrechnung, problemorientierte Unterrichtseinheiten Verlag Volk und Wissen, Berlin 1997

    u.a. Beispiele für Markow-Ketten und Zustandsgraphen

  • Baumann, Rüdeger
    Didaktik der Informatik 2.Auflage, Klett-Verlag 1996

    u.a. in Kapitel 21 Abriss über Theoretische Informatik aus didaktischer Sicht

  • Engelmann, Lutz
    Informatik bis zum Abitur Paetec, Berlin, 2002 (ISBN 3-89818-600-8)

    Das Unterrichtsbuch enthält eine ausführliche Darstellung der theoretischen Informatik mit einigen Beispielaufgaben. Neben formalen Sprachen und Automaten werden die Berechenbarkeitstheorie behandelt und effiziente Algorithmen mit Komplexitätsbetrachtungen vorgestellt.

  • Baumann, Rüdeger
    Informatik mit Pascal Klett-Verlag, Stuttgart 1981 (ISBN 3-12-717740-2)

    Trotz der antiquierten Programmiersprache bietet dieses Buch eine grundlegende Einführung in die Automatentheorie, formale Sprachen, Turingmaschinen. Anhand von Beispielen, die in Pascal implementiert werden, werden die grundlegenden Aspekte klar herausgearbeitet.

  • Schöning, Uwe
    Theoretische Informatik – kurzgefasst. Spektrum, Heidelberg, Berlin, 2001. 198 Seiten. (ISBN 3-8274-1099-1)

    Es handelt sich ein überarbeitetes Vorlesungsskript des Autors an der Universität Ulm und reflektiert die Aspekte aus eher theoretischer Sicht. Für Vertiefungen und besondere Aspekte des Themas geeignet. Für Anfänger weniger geeignet.

Redaktionell verantwortlich: