Mathematische Logik für die Informatik

Mathematische Logik für die Informatik (Mordechai Ben-Ari)

Leserbewertungen

Zusammenfassung:

Das Buch „Mathematische Logik für die Informatik“ von Mordechai Ben-Ari wird für seine übersichtliche Darstellung und seine praktischen Anwendungen sowohl im mathematischen als auch im Informatikkontext hervorgehoben. Während die dritte Auflage für ihre verbesserte Organisation und ihren Inhalt gelobt wird, sind einige Benutzer auf Probleme mit den digitalen Versionen gestoßen, die mit langsamer Leistung und schlecht dargestellten mathematischen Symbolen zu tun haben.

Vorteile:

⬤ Verständliche Darstellung der Aussagenlogik und der Logik erster Ordnung.
⬤ Praktische Anwendungen in der Informatik verbessern das Verständnis der mathematischen Logik.
⬤ Die dritte Auflage hat eine bessere Organisation und einen besseren Inhalt als die zweite Auflage.
⬤ Deckt sowohl Gentzens natürliche Deduktion als auch Sequentenkalkül effektiv ab.
⬤ Am Ende jedes Kapitels finden sich Verweise auf weiterführende Literatur.

Nachteile:

⬤ E-Reader-Versionen sind Berichten zufolge langsam.
⬤ Probleme mit der Darstellung mathematischer Symbole auf Kindle-Geräten beeinträchtigen die Verständlichkeit.
⬤ Einige Nutzer fanden die zweite Auflage zu rechenintensiv und schwerfällig für Leser, die keine Informatiker sind.

(basierend auf 5 Leserbewertungen)

Originaltitel:

Mathematical Logic for Computer Science

Inhalt des Buches:

Mathematische Logik für die Informatik ist ein Mathematik-Lehrbuch mit Theoremen und Beweisen, aber die Auswahl der Themen hat sich an den Bedürfnissen von Informatikstudenten orientiert.

Die Methode der semantischen Tableaus bietet eine elegante Möglichkeit, Logik zu lehren, die sowohl theoretisch fundiert als auch einfach zu verstehen ist. Die einheitliche Verwendung von Techniken, die auf Tableaus basieren, erleichtert das Erlernen fortgeschrittener logischer Systeme auf der Grundlage dessen, was der Student aus elementaren Systemen gelernt hat.

Die vorgestellten logischen Systeme sind: Aussagenlogik, Logik erster Ordnung, Auflösung und ihre Anwendung auf die logische Programmierung, Hoare-Logik für die Verifikation von sequentiellen Programmen und lineare temporale Logik für die Verifikation von nebenläufigen Programmen. Die dritte Auflage wurde komplett neu geschrieben und enthält neue Kapitel zu zentralen Themen der modernen Informatik: SAT-Solver und Model Checking.