

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

Galaxus
Logge dich ein für Coupon Details