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
Reinhard Josef Klaus Kahle
Horas semanais
6
Língua de ensino
Português
Objectivos
Introdução à Lógica Matemática até os teoremas de incompletude de Gödel.
Pré-requisitos
Espirito matemático.
Conteúdo
1. Cálculo de predicados
2. Teoremas da completude
3. Teoria da recursão
4. Formalização da aritmética, teoremas de Gödel
Bibliografia
- Jon Barwise. An introduction to first-order logic. In J. Barwise, editor, Handbook of Mathematical Logic, pages 5–46. North-Holland, 1977.
- Reinhard Kahle. Lógica. Sebentas.
- C. Smorynski. The incompleteness theorems. In J. Barwise, editor, Handbook of Mathematical Logic, pages 821–865. North-Holland, 1977.
Método de ensino
Métodos habituais de ensino universitário da Matemática.
Método de avaliação
Seminário + Relatório + Prova oral (opcional): 100%