Logic for applications
Auteur :
Nerode, Anil
Éditeur :
Nerode, AnilShore, Richard A.,
ISBN :
9780387948935
Date de publication :
17 janv. 1997
Dimensions :
23,4 x 15,6 x 2,6 cm
Poids :
840 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.