|
|
|
books
| book details |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
By (author) Zhe Hou
|
| on special |
normal price: R 2 178.95
Price: R 2 069.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 4 Dec 2021
Language |
Format | Hardback
Pages | 222
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0308-7881-8
Readership Age |
BISAC | computers / logic design
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 679.95
Price | R 2 545.95
| on special |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
|
Carlo Rovelli
Paperback / softback
224 pages
was: R 295.95
now: R 265.95
|
Originally published in Italian: L'ordine del tempo (Milan: Adelphi Edizioni, 2017).
|
|
Carlo Rovelli
Paperback / softback
208 pages
was: R 295.95
now: R 265.95
|
|
|
|
|
