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

PUBLICAȚII

	CĂRȚI NOI
	DOMENII
	AUTORI
	EVENIMENTE

MIHIȘ Andreea-Diana

A COMPUTATIONAL APPROACH TO CLASSICAL LOGICS AND CIRCUITS

The purpose of this book is to present the logical foundations of computer science: classical logics and logic circuits. Fundamental concepts and results of classical logics are introduced in a formal style and in an explicitly computational way. Applications to automated theorem proving in propositional logic and first-order logic are presented. The studied proof methods are: the resolution method, the semantic tableaux method and the sequent/anti-sequent calculi.[...]

DISPONIBIL LA CERERE

pcs.

© Presa Universitară Clujeană 2012

TERMENI & CONDIȚII