Logic
Code
8526
Academic unit
Faculdade de Ciências e Tecnologia
Department
Departamento de Matemática
Credits
6.0
Teacher in charge
Reinhard Josef Klaus Kahle
Weekly hours
6
Teaching language
Português
Objectives
Introduction in Mathematical Logic up to Gödel''''s Incompleteness Theorems.
Prerequisites
Mathematical spirit.
Subject matter
1. Predicate calculus
2. Completeness theorems
3. Recursion theory
4. Formatization of arithmetic, Gödel''''s theorems
Bibliography
- Jon Barwise. An introduction to first-order logic. In J. Barwise, editor, Handbook of Mathematical Logic, pages 5–46. North-Holland, 1977.
- Reinhard Kahle. Lógica. Sebentas.
- C. Smorynski. The incompleteness theorems. In J. Barwise, editor, Handbook of Mathematical Logic, pages 821–865. North-Holland, 1977.
Teaching method
Usual university-style Math teaching.
Evaluation method
Seminar + Report + oral examination (optional): 100%