Lógica

Conhecimentos de Base Recomendados

Nenhuns; vantajoso uma cadeira em que tópicos fundamentais da matemática foram abordados.

Métodos de Ensino

Aulas teóricas tradicionais.

Resultados de Aprendizagem

As competências específicas a atingir depreendem-se do programa mínimo a seguir explicitado.

Estágio(s)

Não

Programa

1. Os elementos do cálculo proposicional.

2. Aplicações típicas do cálculo proposicional.

3. O teorema da compacidade do cálculo proposicional.

4. Um sistema de dedução para o cálculo proposicional.

5. Lógica de primeira ordem: alfabeto, termos, fórmula atómica, fórmulas primas.

6. Exemplos de aplicação da lógica de primeira ordem estendida em matemática.

7. Um sistema formal de dedução em lógica dos predicados.

8. Algoritmos, máquinas de Turing e funções computáveis

9. Decidibilidade de Relações

10. O problema da paragem

11. Enumerabilidade – listabilidade

Docente(s) responsável(eis)

Alexander Kovacec

Métodos de Avaliação

Contínua
Dois minitestes : 40.0%
Frequência: 60.0%

Final
Exame: 100.0%

Bibliografia

MALITZ (1978). An Introduction to Mathematical Logic. Springer 1978.

OLIVEIRA, A .J. F. de. Lógica e Aritmética. Gradiva, 2003.

MARGARIS. First Order Mathematical Logic. Dover, 1967.