Logic: A Brief Course

• Κύριος συγγραφέας: Mundici, Daniele (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Milano : Springer Milan : Imprint: Springer, 2012.
• Σειρά: UNITEXT,
• Θέματα: Mathematics.; Mathematical logic.; Semantics.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's c...

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

• Introduction
• Fundamental Logical Notions
• The Resolution Method
• Robinson Completeness Theorem
• Fast Classes for DPP
• Godel Compactness Theorem
• Propositional Logic: Syntax
• Propositional Logic: Semantics
• Normal Forms
• Recap: Expressivity and Efficiency
• The Quantifiers ‘There Exists’ and ‘For All’
• Syntax of Predicate Logic
• The Meaning of Clauses
• Godel Completeness Theorem for the Logic of Clauses
• Equality Axioms
• The Predicate Logic L.