Dieses Buch zeigt, dass Theoretische Informatik nicht schwer sein muss.
Über 80 Beispiele und 100 Abbildungen helfen beim Verständnis des Stoffes, der die zentralen Gebiete einer Grundvorlesung Theoretische Informatik umfasst. Jedes Kapitel enthält zahlreiche, darauf abgestimmte Aufgaben und Prüfungsfragen mit vollständigen Lösungen. Ohne sich in Details zu verlieren, werden wichtige Beweisideen ausführlich dargestellt, formale Definitionen zuerst anschaulich erläutert.
Aus dem Inhalt:
- Grundlegende Beweistechniken
- Graphen und Algorithmen
- Automaten, formale Sprachen und Grammatiken
- Berechenbarkeit und Entscheidbarkeit
- NP-vollständige Probleme
- Anwendungen und Programmierbeispiele

Dieses Buch richtet sich besonders an Studenten im Grundstudium, die eine Vorlesung Theoretische Informatik hören oder sich auf eine Prüfung vorbereiten.