To undestand the duality sintax versus semantics and proof/truth.
To get in First order Logic, and understand the main results of the area.
Isabel Maria Oitavem Fonseca da Rocha Kahle
Weekly - 4
Total - 48
Mathematical Logic, A course with exercises, Part I and Part II, by Cori and Lascar, Oxford.
Lectures demanding the participation of all, organized by projects.
The student must attend to 2/3 of the given lectures.
Evaluation is based on one project per student (presentation, discussion and report) and one test. The project contributs with 80% to the final grade, and the test contributs with 20%.
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.
1. Propositional calculus
2. Predicate calculus
3. Completeness theorems
4. Recursion theory
5. Formatization of arithmetic, Gödel''''s theorems
Programs where the course is taught: