ENGLISH

Logic in Computer Science

By Hantao Zhang , Jian Zhang

Book information

Publisher
Springer
Year
2024
ISBN
9789819798155, 9789819798162
Language
english
Format
PDF
Filesize
7 MB (6910005 bytes)
Pages
448\488
Topic
Computers
Orientation
portrait
Paginated
yes
Scanned
no
Time added
2025-01-14 09:21:19

Description

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.

Similar books