Lógica

Código

8526

Unidade Orgânica

Faculdade de Ciências e Tecnologia

Departamento

Departamento de Matemática

Créditos

6.0

Professor responsável

Isabel Maria Oitavem Fonseca da Rocha Kahle

Horas semanais

4

Língua de ensino

Português

Conteúdo

1. Cálculo proposicional

2. Cálculo de predicados

3. Teoremas da completude

4. Teoria da recursão

5. Formalização da aritmética, teoremas de Gödel

Bibliografia

Mathematical Logic, Part I, René Cori e Daniel Lascar, Oxford 2000.

Mathematical Logic, Part II, René Cori e Daniel Lascar, Oxford 2001.

Método de avaliação

1. Para obter aprovação à UC é necessário assistir a pelo menos 2/3 das aulas dadas (excepção podem ser consideradas se solicitadas atempadamente).
2. A avaliação é efectuada com base em dois seminários por aluno  (apresentação, discussão e relatório) e um teste. Cada seminário vale 45% da classificação final e o teste vale 10% (estas poderações serão diferentes em situações de excepção ao ponto 1.).
3. Os alunos que obtiverem uma classificação final superior ou igual a 10 valores obtêm aprovação na UC com a correspondente classificação.
4. Os alunos que obtiverem uma classificação final superior a 17 valores podem ser chamados a prestar uma prova suplementar. Caso não o façam obtêm aprovação na UC com a classificação de 17 valores.

Cursos

• Matemática Pura