Logo

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Large book cover: Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic
by

Publisher: Springer
ISBN/ASIN: 3540433767
ISBN-13: 9783540433767
Number of pages: 223

Description:
This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.

Download or read it online for free here:
Download link
(1.2MB, PDF)

Similar books

Book cover: Numerical Algorithms: Methods for Computer Vision, Machine Learning, and GraphicsNumerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphics
by - CRC Press
Using examples from a broad base of computational tasks, including data processing and computational photography, the book introduces numerical modeling and algorithmic design from a practical standpoint and provides insight into theoretical tools.
(5735 views)
Book cover: Art Gallery Theorems and AlgorithmsArt Gallery Theorems and Algorithms
by - Oxford University Press
Art gallery theorems and algorithms are so called because they relate to problems involving the visibility of geometrical shapes and their internal surfaces. This book explores generalizations and specializations in these areas.
(16218 views)
Book cover: Axiom: The Scientific Computation SystemAxiom: The Scientific Computation System
by - axiom-developer.org
Axiom is a free general purpose computer algebra system. The book gives a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms developed by the symbolic computation community, and presents advanced techniques.
(18269 views)
Book cover: Vector Math for 3D Computer GraphicsVector Math for 3D Computer Graphics
by - Central Connecticut State University
A text on vector and matrix algebra from the viewpoint of computer graphics. It covers most vector and matrix topics needed for college-level computer graphics text books. Useful to computer science students interested in game programming.
(18399 views)