LUPEA Mihaiela-Ana, MIHIȘ Andreea-Diana
CLASSICAL LOGICS IN COMPUTER SCIENCE

 
  INFORMATICA
   
  978‐973‐595‐758‐2
  2014
 
  RESUME
Format: add to cart
   
SUMMARY: The purpose of this book is to present fundamental concepts and results of classical logics in a formal style and in an explicitly computational way.Applications to automated theorem proving in propositional logic and first-order logic are discussed. The studied proof methods are: the resolution method, the semantic tableaux method and the sequent calculus. The paper combines the theoretical presentation of classical logics with numerous examples explained and a rich base of proposed exercises.
Duplicate entry '10805686-editura' for key 'PRIMARY'