Lógica

Objectivos

Perceber a dicotomia sintase/semântica e demonstração/verdade. Familiarizar-se com a Lógica de primeira ordem, e os seus resultados fundamentais.

Caracterização geral

Código

8526

Créditos

6.0

Professor responsável

Reinhard Josef Klaus Kahle

Horas

Semanais - 4

Totais - 48

Idioma de ensino

Português

Pré-requisitos

A disponibilizar brevemente

Bibliografia

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

Método de ensino

Aulas participadas, com apresentação de projetos.

Método de avaliação

Para obter aprovação à UC é necessário assistir a pelo menos 2/3 das aulas dadas.

A avaliação é efectuada com base em um projeto por aluno  (apresentação, discussão e relatório) e um teste. O projecto vale 80% da classificação final e o teste vale 20%.

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.

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.

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

Cursos

Cursos onde a unidade curricular é leccionada: