Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen ...

"Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen" von Christel Baier ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der theoretischen Informatik beschäftigt. Es behandelt zentrale Themen wie Berechenbarkeitstheorie, Komplexitätstheorie und die Theorie der formalen Sprachen. Das Buch bietet eine umfassende Einführung in diese Bereiche und illustriert die theoretischen Konzepte durch zahlreiche Beispiele. Die Leser lernen wichtige Modelle der Berechenbarkeit kennen, wie Turingmaschinen, und erfahren, welche Probleme berechenbar sind und welche nicht. In der Komplexitätstheorie werden Klassen wie P und NP sowie Fragen der Effizienz von Algorithmen diskutiert. Der Abschnitt über formale Sprachen führt in Grammatiken und Automaten ein, die zur Modellierung von Programmiersprachen dienen. Durch die 101 Beispiele wird das theoretische Wissen praxisnah vermittelt, was das Verständnis erleichtert und Studierenden einen klaren Zugang zu diesen komplexen Themen ermöglicht. Das Buch richtet sich vor allem an Studierende der Informatik im Grundstudium sowie an alle Interessierten, die ein tieferes Verständnis für die theoretischen Grundlagen der Informatik entwickeln möchten.