Items related to Fundamentals of Logic and Computation: With Practical...

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) - Hardcover

 
9783030878818: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Synopsis


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.

"synopsis" may belong to another edition of this title.

About the Author

Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia.  His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning.

From the Back Cover

Although the fields of logic and computation are intrinsically related, most courses treat the two topics separately.  This unique textbook aims to compress and unify important concepts of logical reasoning and computational theory, facilitating an in-depth understanding.

Delivering theory with practical approaches, the book features early chapters accompanied by exercises in Isabelle/HOL, a popular and user-friendly theorem prover.  Latter chapters address modelling and verification in Process Analysis Toolkit (PAT), a feature-rich model checker based on Hoare’s Communicating Sequential Processes.  The exposition focuses on the syntax, semantics and proof theory of various logics, as well as on automata theory, formal languages, computability, and complexity.  It also builds a hybrid skill set of practical theorem proving and model checking, which will provide a solid grounding for future research or work involving formal methods.

Topicsand features:

  • Offers a transition from logic to computation via linear temporal logic and state machines
  • Includes exercises from widely-used software applications
  • Provides entry-level tutorials for Isabelle/HOL and PAT
  • Employs many examples from the Archives of Formal Proofs, as well as many examples of PAT models
  • Introduces classical and nonclassical logics in an integrated presentation
  • Discusses lambda calculus, recursive functions and Turing machines
  • Concludes by addressing the Curry-Howard correspondence, which unifies logic and computation
The work is optimal for undergraduate students striving for a degree in computer science. In addition, it will be an excellent foundational volume for research students considering higher-degree research programs.

​Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia.  His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2021
  • ISBN 10 3030878813
  • ISBN 13 9783030878818
  • BindingHardcover
  • LanguageEnglish
  • Edition number1
  • Number of pages232

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

US$ 2.64 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9783030878849: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Featured Edition

ISBN 10:  3030878848 ISBN 13:  9783030878849
Publisher: Springer, 2022
Softcover

Search results for Fundamentals of Logic and Computation: With Practical...

Seller Image

Hou, Zhe
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Used Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 44056631

Contact seller

Buy Used

US$ 41.18
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Hou, Zhe
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 44056631-n

Contact seller

Buy New

US$ 55.48
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Hou, Zhe
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783030878818_new

Contact seller

Buy New

US$ 41.99
Convert currency
Shipping: US$ 16.27
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Zhe Hou
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-260699

Contact seller

Buy New

US$ 60.65
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Hou, Zhe
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 44056631-n

Contact seller

Buy New

US$ 41.98
Convert currency
Shipping: US$ 20.37
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Zhe Hou
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 26390224790

Contact seller

Buy New

US$ 59.26
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

0
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-13857

Contact seller

Buy New

US$ 65.04
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Zhe Hou
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-260700

Contact seller

Buy New

US$ 65.04
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Hou, Zhe
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
Used Hardcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 44056631

Contact seller

Buy Used

US$ 45.42
Convert currency
Shipping: US$ 20.37
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Hou Zhe
Published by Springer, 2021
ISBN 10: 3030878813 ISBN 13: 9783030878818
New Hardcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 389407817

Contact seller

Buy New

US$ 58.22
Convert currency
Shipping: US$ 8.83
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

There are 7 more copies of this book

View all search results for this book