Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /

• Main Authors: Ayala-Rincón, Mauricio (Author), de Moura, Flávio L. C. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Math Applications in Computer Science.

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists...

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.