Logic In Computer Science by Hantao Zhang, Jian Zhang
Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof procedures for classical logics and decision procedures for checking the satisfiability of logical formulas.
Key Features:
- Authors: Hantao Zhang, Jian Zhang
- Publication Date: January 11, 2025
- ISBN: 9819798159
- Pages: 488
- Formats Available: True PDF, EPUB
- Size: 32 MB
- Topics Covered:
- Classical propositional logic
- First-order predicate logic
- Equational logic
- Temporal logic
- Hoare logic
- Proof Procedures: Explanation of procedures for classical logics
- Decision Procedures: Methods for checking satisfiability of logical formulas