Ben-Ari, Mordechai Mathematical Logic for Computer Science: 2nd edition

'Mathematical Logic for Computer Science: 2nd Edition' von Mordechai Ben-Ari ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der mathematischen Logik befasst und deren Anwendung in der Informatik beleuchtet. Das Buch deckt Themen wie Aussagenlogik, Prädikatenlogik, Beweistechniken und formale Systeme ab. Es bietet eine Einführung in die theoretischen Grundlagen, die für das Verständnis von Algorithmen, Programmiersprachen und Softwareentwicklung notwendig sind. Die zweite Ausgabe enthält aktualisierte Inhalte und Beispiele, die speziell auf Studierende der Informatik zugeschnitten sind. Übungen am Ende jedes Kapitels ermöglichen es den Lesern, ihr Wissen zu vertiefen und anzuwenden.