En savoir plus sur le livre
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 eine aktuelle Version des Lernprogramms „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
Achat du livre
Theoretische Grundlagen der Informatik, Rolf Socher
- Langue
- Année de publication
- 2005
- product-detail.submit-box.info.binding
- (rigide)
Modes de paiement
Personne n'a encore évalué .
- Titre
- Theoretische Grundlagen der Informatik
- Sous-titre
- mit 16 Tabellen, 26 Beispielen
- Langue
- Allemand
- Auteurs
- Rolf Socher
- Publié
- 2005
- Format
- rigide
- Pages
- 187
- ISBN10
- 3446229876
- ISBN13
- 9783446229877
- Séries
- Mots clés
- Manuels, Informatique & Internet, Mathématiques
- Description
- 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 eine aktuelle Version des Lernprogramms „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