Opening book details…
Can I read Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) on EtoBox?
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) by Friedman is a computer science book available to read on EtoBox.
What is Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science) about?
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 foc
Who reads Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Friedman
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2021
- Language
- EN
- ISBN
- 9783030878849
- Category
- computer science
- Subjects
- Mathematics, Computers, Computer Science
- Updated
- 2026-03-25
Other editions & translations
More by Friedman
Similar books
- Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification — Zhé Hóu (2021)
- Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation) — Jochen Pfalzgraf, Dongming Wang (auth.), Dr. (1995)
- Logic And Computation: Interactive Proof With Cambridge Lcf (cambridge Tracts In Theoretical Computer Science) — Lawrence C. Paulson (1987)
- ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING, AND SYMBOLIC COMPUTATION, LNAI 2385 (2002)
- Handbook of Practical Logic and Automated Reasoning — John E. Harrison (2009)
- Logical Reasoning with Diagrams (Studies in Logic and Computation) — edited by Gerard Allwein and Jon Barwise; with contributions by Gerard Allwein ... et al. (1996)