The Calculus of Computation, Fachbücher von Zohar Manna, Aaron R. Bradley

"The Calculus of Computation" ist ein Fachbuch, das sich mit der schnell wachsenden Disziplin der rechnergestützten Logik befasst. Es richtet sich an Studierende auf Graduierten- und fortgeschrittenem Bachelor-Niveau und bietet eine umfassende Einführung in die Grundlagen der Prädikatenlogik bis hin zu modernen Entscheidungsverfahren für Arithmetik, Datenstrukturen und Kombinationstheorien. Das Buch legt besonderen Wert auf die Entwicklung korrekter Software und behandelt die Verifikation von Software durch logische Ansätze. Angesichts der zunehmenden Verbreitung von Computern ist die Implementierung korrekter Systeme von entscheidender Bedeutung. Die Verifikationsübungen im Buch fördern die Fähigkeit der Leser, Software mithilfe von Logik zu spezifizieren und zu verifizieren. Darüber hinaus wird die statische Analyse von Software behandelt, die ein wesentlicher Bestandteil moderner Verifikationssysteme ist. Im abschliessenden Kapitel werden weitere Studienmöglichkeiten im Bereich der rechnergestützten Logik und formalen Methoden aufgezeigt, was das Buch zu einer wertvollen Ressource für Interessierte macht.