Resolution (logic), Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Resolution (logic)" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik und die ... Mehr erfahren
Produktvarianten
Resolution (logic), Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Resolution (logic)" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik und die automatisierte Theorembeweisführung. Es behandelt die Resolution als eine wichtige Regel der Inferenz, die eine zentrale Rolle in der Beweisführung von Aussagen in der Aussagenlogik und der Prädikatenlogik spielt. Die Methode der Resolution ermöglicht es, die Erfüllbarkeit von propositionalen Formeln zu überprüfen und die Unmöglichkeit von bestimmten ersten Ordnung Formeln zu beweisen. Diese Technik, die erstmals 1965 von John Alan Robinson vorgestellt wurde, ist ein grundlegendes Werkzeug für die Analyse und das Verständnis logischer Systeme. Das Buch richtet sich an Studierende und Fachleute in den Bereichen Mathematik und Naturwissenschaften und bietet eine fundierte Grundlage für das Studium der logischen Prinzipien und deren Anwendungen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing