0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Hardcover, 1st ed. 2021) Loot Price: R920
Discovery Miles 9 200
Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Hardcover, 1st ed. 2021): Zhe Hou

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

Zhe Hou

Series: Texts in Computer Science

 (sign in to rate)
Loot Price R920 Discovery Miles 9 200 | Repayment Terms: R86 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

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!

Partners