{"product_id":"fundamentals-of-logic-and-computation-with-practical-automated-reasoning-and-verification-9783030878849","title":"Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis textbook provides a comprehensive introduction to logical reasoning and the theory of computation, combining theoretical teaching and practical exercises using Isabelle\/HOL and PAT. It covers syntax, semantics, proof theory, automata theory, formal languages, computability, and complexity, and discusses the link between logic and computation. It is suitable for a high-level undergraduate course or a Master's course. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 222 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 05 December 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis comprehensive textbook is designed to assist the reader in acquiring a profound comprehension of logical reasoning and acquiring expertise in the field of computation. The book seamlessly blends theoretical instruction with practical exercises, with the latter being implemented using Isabelle\/HOL, a modern theorem prover, and PAT, an industry-scale model checker. Additionally, I provide introductory tutorials on these software tools to facilitate the reader's journey into the realm of logical reasoning. By the conclusion of the book, the reader will possess proficiency in both Isabelle\/HOL and PAT.\u003cbr\u003e\u003cbr\u003eThe content of this book is centered around the syntax, semantics, and proof theory of diverse logics, encompassing automata theory, formal languages, computability, and complexity. The final chapter serves as a bridge, connecting logic with computation by exploring the insightful connections between these two domains. This textbook is intended for advanced undergraduate courses or Master's programs. The combination of practical theorem proving and model checking skills will undoubtedly be advantageous for readers who aspire to pursue research careers or engage in engineering roles involving formal methods.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 364g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 155 x 233 x 17 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783030878849\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2021\u003c\/p\u003e","brand":"Zhe Hou","offers":[{"title":"Paperback \/ softback","offer_id":44102709444858,"sku":"9783030878849","price":46.96,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1672408661617_book.jpg?v=1672481289","url":"https:\/\/shulphink.com\/products\/fundamentals-of-logic-and-computation-with-practical-automated-reasoning-and-verification-9783030878849","provider":"Shulph Ink","version":"1.0","type":"link"}