Presa Universitară Clujeană - Autori

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


    
      
          
            
            

      
       
       
      CĂRȚI: 0 bucăți | 0.00 LEI
       
       
EVALUARE PROIECTE EDITORIALE DISTINCȚII

PUBLICĂ CU NOI

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:

© Presa Universitară Clujeană 2012

TERMENI & CONDIȚII