Logic in computer science
Auteur :
Zhang, Hantao / Zhang, Jian
Éditeur :
Springer Verlag, Singapore
ISBN :
9789819798155
Date de publication :
12 janv. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour
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.