Equisatisfiability, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
