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

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

 
9783319516523: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Softcover
ISBN 10: 3319516523 ISBN 13: 9783319516523
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319516523
ISBN 13 
9783319516523
Binding
Paperback
Number of pages
170

Other Popular Editions of the Same Title

9783319516516: Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Featured Edition

ISBN 10:  3319516515 ISBN 13:  9783319516516
Publisher: Springer, 2017
Softcover