Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

by Zhe Hou

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient...

• Format: Hardcover
• Language: English
• ISBN: 3030878813
• ISBN13: 9783030878818
• Release Date: December 2021
• Publisher: Springer
• Length: 222 Pages
• Weight: 1.11 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"