Automated Proof Checking, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Das Buch "Automated Proof Checking" bietet eine umfassende Einführung in den Bereich der automatisierten Beweisprüfung, einem... Mehr erfahren
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Automated Proof Checking" bietet eine umfassende Einführung in den Bereich der automatisierten Beweisprüfung, einem wichtigen Teilgebiet der automatisierten Logik. Es behandelt die Grundlagen und die Funktionsweise von Software, die zur Überprüfung der Korrektheit von Beweisen eingesetzt wird. Im Gegensatz zur automatisierten Theorembeweisführung, die darauf abzielt, neue Beweise zu entwickeln, konzentriert sich die automatisierte Beweisprüfung auf die mechanische Überprüfung bereits vorhandener Beweise. Dies macht die automatisierte Beweisprüfung zu einem weniger komplexen, aber dennoch bedeutenden Bereich, der in der heutigen Forschung und Anwendung eine wichtige Rolle spielt. Das Buch stützt sich auf Artikel aus Wikipedia und anderen freien Quellen, um ein breites Spektrum an Informationen zu bieten, die für Studierende und Fachleute von Interesse sind.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing