Mathematical Logic for Computer Science Mordechai Ben-Ari van ist ein englischsprachiges Studienbuch, das sich an Studierende im Hochschulbereich richtet. Dieses Buch behandelt mathematische Logik mit einem Schwerpunkt auf Anwendungen innerhalb der Informatik.
Das Buch führt die Methode der semantischen Tableaus als didaktisches Instrument ein, um Logik klar und systematisch zu vermitteln. Anhand von Tableau-Techniken werden verschiedene logische Systeme behandelt, wie die Aussagenlogik und die Prädikaten- bzw. erste-Ordnung-Logik, die Resolutionsmethode, Hoare-Logik zur Verifikation sequentieller Programme und die lineare Zeitlegik zur Verifikation gleichzeitiger Programme.
Die vollständig überarbeitete dritte Auflage enthält außerdem neue Kapitel über SAT-Löser und Model Checking – Themen, die für die moderne Informatik unerlässlich sind. Damit schließt das Buch an sowohl theoretische als auch praktische Aspekte von mathematical logic for computer science an.
Dieses Studienbuch ist relevant für Fachgebiete wie mathematical theory of computation, mathematical logic und machine theory in der Informatik.