T. Nipkow, L.C. Paulson, M. Wenzel , "Isabelle/HOL: A Proof Assistant for Higher-Order Logic"

Springer 2010 | ISBN: 3540433767 | 223 pages | PDF | 1,2 MB

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.

Code:
http://www.filesonic.com/file/57416333/tutorial.pdf
http://www.fileserve.com/file/KDsAsnB

Bạn có thích bài viết này không?

[ Quay lại ]