Logic
Objectives
To undestand the duality sintax versus semantics and proof/truth.
To get in First order Logic, and understand the main results of the area.
General characterization
Code
8526
Credits
6.0
Responsible teacher
Isabel Maria Oitavem Fonseca da Rocha Kahle
Hours
Weekly - 4
Total - 48
Teaching language
Português
Prerequisites
Available soon
Bibliography
Mathematical Logic, A course with exercises, Part I and Part II, by Cori and Lascar, Oxford.
Teaching method
Lectures demanding the participation of all, organized by projects.
Evaluation method
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.
Subject matter
1. Propositional calculus
2. Predicate calculus
3. Completeness theorems
4. Recursion theory
5. Formatization of arithmetic, Gödel''''s theorems