ISTORIE
PREZENT
MISIUNE ȘI OBIECTIVE
ECHIPA
TITLURI NOI
DOMENII
AUTORI
EVENIMENTE
TITLURI NOI
DOMENII
AUTORI
DESPRE E-BOOK-URI
ETAPELE PUBLICĂRII
STANDARDE TEHNOREDACTARE
EVALUARE CURENTĂ
ANUL 2014 (AUTOEVALUARE)
ANUL 2012
ANUL 2011
ANUL 2010
FINANŢARE AFCN
FINANŢARE ANCS
DIPLOME
SEMNALE DIN PRESĂ
NEWSLETTER
ROMÂNĂ
ENGLISH
CĂRȚI: 0 bucăți | 0.00 LEI
EVALUARE
PROIECTE EDITORIALE
DISTINCȚII
DESPRE NOI
PUBLICAȚII
E-BOOKS
PUBLICĂ CU NOI
CONTACT
INFO STOC
LIBRARIA UBB
TITLU
AUTOR
E-BOOKS
CĂRȚI NOI
DOMENII
AUTORI
LUPEA Mihaiela-Ana
CLASSICAL LOGICS IN COMPUTER SCIENCE
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.[...]
REZUMAT
Format:
pdf
© Presa Universitară Clujeană 2012
TERMENI & CONDIȚII
ACCES SPECIAL
WEBMAIL
