Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Hardcover, 1st ed. 2021)

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 in formal methods.

General

Imprint:	Springer Nature Switzerland AG
Country of origin:	Switzerland
Series:	Texts in Computer Science
Release date:	December 2021
First published:	2021
Authors:	Zhe Hou
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Hardcover
Pages:	222
Edition:	1st ed. 2021
ISBN-13:	978-3-03-087881-8
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer hardware & operating systems > General Books > Computing & IT > Computer programming > Algorithms & procedures Promotions
LSN:	3-03-087881-3
Barcode:	9783030878818

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!