Articoli correlati a Applied Logic for Computer Scientists: Computational...

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Brossura

Ayala-Rincón, Mauricio; De Moura, Flávio L. C.

 
9783319516523: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Brossura
ISBN 10: 3319516523 ISBN 13: 9783319516523
Casa editrice: Springer, 2017

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Foreword. - Preface.- Introduction.- Derivation and Proofs in the Propositional Logic.- Derivations and Proofs in the Predicate Logic.- Deductions in the Style of Gentzen's Sequent Calculus.- Derivations and Formalizations.- Algebraic and Computational Examples.- Suggested Readings.- Index.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2017
  • ISBN 10 3319516523
  • ISBN 13 9783319516523
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319516516: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Edizione in evidenza

ISBN 10:  3319516515 ISBN 13:  9783319516516
Casa editrice: Springer, 2017
Brossura