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

Herberto de Jesus da Silva

Hours

Weekly - 2

Total - 54

Teaching language

Português

Prerequisites

Knowledge usually taught in a Mathematics Degree.

Bibliography

Mathematical Logic, A course with exercises, Part I and Part II, by Cori and Lascar, Oxford.

Teaching method

Classes consist on an oral explanation of the theory which is illustrated by examples and the resolution of some exercises.

Evaluation method

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.

Subject matter

1. Propositional calculus;

2. Predicate calculus;

3. Completeness theorems;

4. Recursion theory;

5. Formatization of arithmetic, Gödel''s theorems.

Programs

Programs where the course is taught: