Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
Author:   Mauricio Ayala-Rincón ,  Flávio L. C. de Moura
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2017
ISBN:  

9783319516516


Pages:   150
Publication Date:   13 February 2017
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $131.97 Quantity:  
Add to Cart

Share |

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs


Add your own review!

Overview

Full Product Details

Author:   Mauricio Ayala-Rincón ,  Flávio L. C. de Moura
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2017
Dimensions:   Width: 15.50cm , Height: 0.90cm , Length: 23.50cm
Weight:   2.642kg
ISBN:  

9783319516516


ISBN 10:   3319516515
Pages:   150
Publication Date:   13 February 2017
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Mauricio Ayala-Rincón is a Professor in Theory of Computing at the  Universidade de Brasília. He received his doctorate in Informatics from the Universität Kaiserslautern.  His primarily research interests are in logic and semantics of computation. His publications are related with rewriting, lambda calculus and with the applications of these frameworks in theorem proving and automated reasoning.   Flávio L. C. de Moura is an Adjunct Professor in Computer Science at the Universidade de Brasília where he received his Ph.D in Mathematics (Theory of Computing). He has done long term research programs at Heriot-Watt University and Université Paris Diderot. His research is focused on lambda calculus and explicit substitutions, and in the application of proof assistants for the formalization of computation and mathematics.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now