ISTORIE
PREZENT
MISIUNE ȘI OBIECTIVE
ECHIPA
TITLURI NOI
DOMENII
AUTORI
EVENIMENTE
TITLURI NOI
DOMENII
AUTORI
DESPRE E-BOOK-URI
ETAPELE PUBLICĂRII
STANDARDE TEHNOREDACTARE
VANZARE SI DISTRIBUTIE
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
