Die aktualisierte Ausgabe des erfolgreichen Handbuchs von Michael Sipser erzählt die faszinierende Geschichte der Berechnungstheorie - eines Erkenntnisgebiets, das elegante Schlussfolgerungen und spannende unbeantwortete Fragen an der Schnittstelle von Mathematik und Informatik umfasst.

Der direkte, klare Stil von Sipser ermöglicht es Studierenden jeder Stufe, dieses Wissensfeld zu verstehen und zu genießen. Die innovativen Abschnitte über Beweisideen enthüllen auf intuitive Weise die Ideen, auf denen die formalen Beweise der Theoreme basieren, und erklären die grundlegenden Konzepte in Alltagssprache.

Die neue Ausgabe wurde auf vielfältige Weise basierend auf den Rückmeldungen von Studierenden und Lehrenden über viele Jahre hinweg verbessert und enthält vollständig überarbeitete und im Unterricht erprobte Aufgabengruppen, mit beispielhaften Lösungen am Ende jedes Kapitels.