Overview
- Introduces classical and nonclassical logics in an integrated presentation
- Discusses lambda calculus, recursive functions and Turing machines
- Includes exercises from widely-used software applications
Part of the book series: Texts in Computer Science (TCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
-
Front Matter
-
Logic
-
Front Matter
-
-
Computation
-
Front Matter
-
-
Logic and Computation
-
Front Matter
-
-
Back Matter
Keywords
About this book
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 in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering informal methods.
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Fundamentals of Logic and Computation
Book Subtitle: With Practical Automated Reasoning and Verification
Authors: Zhe Hou
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-3-030-87882-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021
Hardcover ISBN: 978-3-030-87881-8Published: 04 December 2021
Softcover ISBN: 978-3-030-87884-9Published: 05 December 2022
eBook ISBN: 978-3-030-87882-5Published: 03 December 2021
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: X, 222
Number of Illustrations: 28 b/w illustrations, 6 illustrations in colour
Topics: Arithmetic and Logic Structures, Theory of Computation, Mathematical Logic and Formal Languages, Computer Hardware