Beschreibung
"Isabelle/HOL: A Proof Assistant for Higher-Order Logic" von Markus Wenzel ist ein umfassendes Werk, das sich mit dem interaktiven Theorembeweiser Isabelle beschäftigt, insbesondere in seiner Ausprägung für Higher-Order Logic (HOL). Das Buch bietet eine detaillierte Einführung in die Nutzung von Isabelle/HOL als Werkzeug zur formalen Verifikation und Beweisführung. Es behandelt die theoretischen Grundlagen der höheren Prädikatenlogik sowie praktische Anwendungen und Implementierungen. Zudem führt es den Leser durch die Installation, grundlegende Konzepte und fortgeschrittene Techniken im Umgang mit dem System. Ziel des Buches ist es, sowohl Anfängern als auch erfahrenen Anwendern einen tiefgehenden Einblick in die Funktionsweise und Möglichkeiten von Isabelle/HOL zu geben, um mathematische Beweise effizienter zu gestalten und komplexe logische Probleme zu lösen.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Ban... im Online-Buchhandel:
-von-Nipkow,-Tobias-731662494.jpg "Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)")
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste
-von-Stephen-R.-Davis-680331.jpg "Beginning Programming with C++ For Dummies, 2nd Edition (For Dummies Series)")
-von-Mishra,-Sanjay-422358517.jpg "Mastering Oracle SQL")
-von-O-Gorman,-John-737462794.jpg "Operating Systems with Linux (Cornerstones of Computing)")
-von-Di-Jasio,-Lucio-726245293.jpg "Programming 32-bit Microcontrollers in C: Exploring the PIC32 (Embedded Technology)")
