Logic
Code
8526
Academic unit
Faculdade de Ciências e Tecnologia
Department
Departamento de Matemática
Credits
6.0
Teacher in charge
Isabel Maria Oitavem Fonseca da Rocha Kahle
Weekly hours
4
Teaching language
Português
Subject matter
1. Propositional calculus
2. Predicate calculus
3. Completeness theorems
4. Recursion theory
5. Formatization of arithmetic, Gödel''s theorems
Bibliography
Mathematical Logic, Part I, René Cori and Daniel Lascar, Oxford 2000.
Mathematical Logic, Part II, René Cori and Daniel Lascar, Oxford 2001.
Evaluation method
The student must attend to 2/3 of the given lectures.
Evaluation is based on two seminars per student (presentation, discussion and report) and one test. Each seminar contributs with 45% to the final grade, and the test contributs with 10%.
Grades greater or equal than 10 points lead to approval.
Whenever the grade is more or equal than 18 points, an extra examination might be required. If the student declines it, the final grade of 17 points will be given.