Lógica
Objetivos
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
Isabel Maria Oitavem Fonseca da Rocha Kahle
Horas
Semanais - 4
Totais - 52
Idioma de ensino
Português
Pré-requisitos
---
Bibliografia
Mathematical Logic, A course with exercises, Part I and Part II, de Cori and Lascar, Oxford.
Método de ensino
Métodos habituais de ensino universitário da Matemática com uma forte componente de participação ativa do aluno (seminário).
Seminário + Relatório + Prova oral (opcional): 100%
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