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�...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English Italian |
| Publicado: |
Milan :
Springer,
2012.
|
| Series: | Unitext.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1. Introduction
- 2. Fundamental logical notions
- 3. The resolution method
- 4. Robinson's completeness theorem
- 5. Fast classes for DPP
- 6. Godel's compactness theorem
- 7. Propositional logic: Syntax
- 8. Propositional logic: Semantics
- 9. Normal forms
- 10. Recap: Expressivity and efficiency
- 11. The quantifiers "there exists" and "for all"
- 12. Syntax of predicate logic
- 13. The meaning of clauses
- 14. Godel's completeness theorem for the logic of clauses
- 15. Equality axioms
- 16. The predicate logic L
- 17. Final remarks.