To undestand the duality sintax versus semantics and proof/truth.
To get in First order Logic, and understand the main results of the area.
Herberto de Jesus da Silva
Weekly - 2
Total - 54
Knowledge usually taught in a Mathematics Degree.
Mathematical Logic, A course with exercises, Part I and Part II, by Cori and Lascar, Oxford.
Classes consist on an oral explanation of the theory which is illustrated by examples and the resolution of some exercises.
There are two mid-term tests. These tests can substitute the final exam if CT is, at least, 9.5. CT is the arithmetic mean of the non-rounded grades of the tests.
To be approved in final exam, the student must have a minimum grade of 9.5 in it.
More detailed rules are available in the portuguese version.
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: