Logic : a brief course
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Milano :
Springer Milan
[20..].
Cham : Springer Nature |
| Edition: | 1st ed. 2012. |
| Series: | La Matematica per il 3+2
|
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic, Texte imprimé, 978-88-470-2360-4 • Logic: a Brief Course, Texte imprimé, 9788847023628 • Logic: a Brief Course, Texte imprimé, 9788847023604 • Logic: a Brief Course, Texte imprimé, 9788847023628 • Logic: a Brief Course, Texte imprimé, 9788847023604 |
Table of Contents:
- 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
- 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