Equisatisfiability, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Equisatisfiability" von Betascript Publishing bietet eine umfassende Einführung in das Konzept der Equisatisfiabili... Mehr erfahren
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Equisatisfiability" von Betascript Publishing bietet eine umfassende Einführung in das Konzept der Equisatisfiability in der Logik. Es erklärt, dass zwei Formeln dann als equisatisfiabel gelten, wenn die eine Formel genau dann erfüllbar ist, wenn auch die andere erfüllbar ist. Dies bedeutet, dass beide Formeln entweder erfüllbar sind oder beide nicht. Das Buch beleuchtet die Unterschiede zwischen Equisatisfiability und logischer Äquivalenz und zeigt auf, wie Equisatisfiability häufig im Kontext der Übersetzung von Formeln verwendet wird. Es werden auch Beispiele für Übersetzungen, die dieses Konzept nutzen, wie Skolemization und die Umwandlung in konjunktive Normalform, behandelt. Zudem wird die Anwendung des Davis-Putnam-Algorithmus zur Generierung equisatisfiabler Formeln erläutert. Dieses Fachbuch richtet sich an Studierende und Fachleute in den Bereichen Mathematik und Naturwissenschaften, die ein tieferes Verständnis für logische Konzepte entwickeln möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing