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)
Series: Texts in Computer Science
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.