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 ProgrammierbeispieleDieses Buch richtet sich besonders an Studenten im Grundstudium, die eine Vorlesung Theoretische Informatik h ren oder sich auf eine Pr fung vorbereiten.