Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar gemacht. Der Autor verdeutlicht, dass der Zugang zur Informatik über die formale Methode, die Grundideen und die Algorithmik viel Spaß machen kann. Effiziente, praxisrelevante Lösungsansätze stehen im Vordergrund, was Verständlichkeit und Anwendbarkeit der Ideen fördert. Durch die Vielzahl der behandelten Modelle und Konzepte (kurz: Ideen) wird der große Zusammenhang deutlich gemacht. Ein umfangreiches weiterführendes Literaturverzeichnis runden die leicht lesbare und trotzdem korrekte und umfassende Darstellung ab.

Uwe Schöning leitet die Abteilung Theoretische Informatik an der Universität Ulm. 1999 erhielt er den Landeslehrpreis und wurde im selben Jahr durch die Erfindung des vielzitierten SAT-Algorithmus bekannt.

Eine umfassende Einführung in die Theoretische Informatik, die Spaß macht und verständlich ist.