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: FractalsFractals
- Wikibooks
The aim of this text is to develop an informal, light introduction to the world of fractal geometry and to inspire further research into the subject, whether your interest is of a pure, applied or even recreational nature.
(9895 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.
(23094 views)
Book cover: Pictures of Julia and Mandelbrot SetsPictures of Julia and Mandelbrot Sets
- Wikibooks
The purpose of this book is to show how the computer can draw technically perfect pictures of Julia and Mandelbrot sets. All the necessary theory is explained and some words are said about how to put the things into a computer program.
(15737 views)
Book cover: Think Stats: Probability and Statistics for ProgrammersThink Stats: Probability and Statistics for Programmers
by - Green Tea Press
Think Stats is an introduction to Probability and Statistics for Python programmers. This new book emphasizes simple techniques you can use to explore real data sets and answer interesting statistical questions. Basic skills in Python are assumed.
(22954 views)