Resolution, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Resolution" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik und die automati... Mehr erfahren
Produktvarianten
Resolution, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Resolution" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik und die automatisierte Theorembeweisführung. Es behandelt das Konzept der Resolution, eine wichtige Regel der Inferenz, die in der propositionalen und der ersten Ordnung Logik Anwendung findet. Die Methode der Resolution ermöglicht es, die Satisfiabilität von propositionalen Formeln zu überprüfen und die Unsatisfiabilität von Formeln erster Ordnung zu beweisen. Diese Technik, die erstmals 1965 von John Alan Robinson vorgestellt wurde, ist ein zentrales Thema in der Logikforschung und hat weitreichende Implikationen für die Informatik und künstliche Intelligenz. Das Buch ist eine wertvolle Ressource für Studierende und Fachleute, die sich mit den Grundlagen und Anwendungen der mathematischen Logik auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing