Theoretische Grundlagen der Informatik - Hardcover

Socher, Rolf

 
9783446221772: Theoretische Grundlagen der Informatik
Hardcover
ISBN 10: 3446221778 ISBN 13: 9783446221772
Verlag: Carl Hanser Verlag GmbH & Co. KG, 2003

Inhaltsangabe

Dieses Lehrbuch stellt eine Einführung in die theoretischen Grundlagen der Informatik dar. Es beschränkt sich auf die klassischen Themen: formale Sprachen, endliche Automaten und Grammatiken, Berechenbarkeit und Entscheidbarkeit, Komplexität und Logik. Das Konzept der Transformation zwischen den verschiedenen Formalismen zieht sich wie ein roter Faden durch das gesamte Buch. Auf eine anschauliche Vermittlung der Begriffe und Methoden der theoretischen Informatik und ihre Vertiefung in Aufgaben und Programmierprojekten wird großer Wert gelegt. Die dem Buch beiliegende CD enthält das Lernprogramm "Machines", mit dem endliche Automaten, Kellerautomaten, Grammatiken, reguläre Ausdrücke und Turing-Maschinen mit einer komfortablen grafischen Oberfläche realisiert und visualisiert werden können.

Zur Vertiefung auf der CD:
- Lernprogramm "Machines" (lauffähig unter Windows, Linux, Mac OS)
- aktuelle Java-Version 1.4
- Prolog-Programme

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Prof. Dr. Rolf Socher ist Professor im Ruhestand. An der Technischen Hochschule Brandenburg hielt er Vorlesungen zur Mathematik, Theoretischen Informatik und Computergrafik.

Von der hinteren Coverseite

Dieses Lehrbuch stellt eine Einführung in die theoretischen Grundlagen der Informatik dar. Es beschränkt sich auf die klassischen Themen: formale Sprachen, endliche Automaten und Grammatiken, Berechenbarkeit und Entscheidbarkeit, Komplexität und Logik. Das Konzept der Transformation zwischen den verschiedenen Formalismen zieht sich wie ein roter Faden durch das gesamte Buch. Auf eine anschauliche Vermittlung der Begriffe und Methoden der theoretischen Informatik und ihre Vertiefung in Aufgaben und Programmierprojekten wird großer Wert gelegt. Die dem Buch beiliegende CD enthält das Lernprogramm "Machines", mit dem endliche Automaten, Kellerautomaten, Grammatiken, reguläre Ausdrücke und Turing-Maschinen mit einer komfortablen grafischen Oberfläche realisiert und visualisiert werden können. Zur Vertiefung auf der CD: - Lernprogramm "Machines" (lauffähig unter Windows, Linux, Mac OS) - aktuelle Java-Version 1.4 - Prolog-Programme

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Carl Hanser Verlag GmbH & Co. KG
Erscheinungsdatum
2003
Sprache
Deutsch
ISBN 10 
3446221778
ISBN 13 
9783446221772
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
192
Kontakt zum Hersteller
Carl Hanser Verlag GmbH & Co.KG
info@hanser.de

Vilshofener Straße 10
München
81679
Deutschland