Mathematical logic for computer science
Auteur :
Ben-Ari, Mordechai
Éditeur :
Springer London Ltd
ISBN :
9781447141280
Date de publication :
17 juin 2012
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.