Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /

• Κύριοι συγγραφείς: Ayala-Rincón, Mauricio (Συγγραφέας), de Moura, Flávio L. C. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.