Dieses Lehrbuch behandelt Schritt für Schritt alle wichtigen Themen, die Studierende für Ihren Prüfungserfolg benötigen. Über 100 Beispiele, zahlreiche Abbildungen und Hinweise auf beliebte Fehler helfen Ihnen, die Theoretische Informatik zu verstehen und die aufeinander abgestimmten Übungsaufgaben zu lösen. Zu allen Aufgaben finden Sie ausführliche Musterlösungen.
In jedem der klar und übersichtlich strukturierten Kapitel werden praktische Anwendungen der behandelten Konzepte vorgestellt, die bis in aktuelle Forschungsgebiete der Informatik reichen.
Die 2., vollständig überarbeitete Auflage enthält einen neuen und einzigartigen Ansatz zur Darstellung der Berechenbarkeit und Komplexität, der einen leichteren Zugang zu diesem Thema ermöglicht.
Auflage
2., vollst. überarb. Aufl. 2015
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für Beruf und Forschung
Upper undergraduate
Editions-Typ
Illustrationen
40
40 s/w Abbildungen
VIII, 192 S. 40 Abb.
Maße
Höhe: 240 mm
Breite: 168 mm
Dicke: 12 mm
Gewicht
ISBN-13
978-3-662-47277-4 (9783662472774)
DOI
10.1007/978-3-662-47278-1
Schweitzer Klassifikation
Boris Hollas ist Professor für Theoretische Informatik und Künstliche Intelligenz an der Hochschule für Technik und Wirtschaft (HTW) Dresden.
Vorwort.- Grundlagen.- Definitionen und Sätze.- Aussagenlogik.- Mengen.- Beweistechniken.- Die 0-Notation.- Graphen.- Relationen.- Automaten und formale Sprachen.- Formale Sprachen als Wortmenge.- Kontextfreie Sprachen.- 0L-Systeme.- Typ-0-Sprachen.- Die Chomsky-Hierarchie.- Berechenbarkeit und Komplexität.- Berechnungsmodelle.- Entscheidbarkeit.- Komplexitätstheorie.- Lösungen der Aufgaben.- Anhang.- Index.
