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 Kahle
Horas semanais
4
Total de horas
56
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 ensino
Métodos habituais de ensino universitário da Matemática.