Preisvergleich / Wohnen / Büro / Automated Proof Checking, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Automated Proof Checking, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

39,00 €

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.

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

19 Punkte
% Best Deal

39,00 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Ähnliche Produkte

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:Betascript Publishing