Lógica

Conhecimentos de Base Recomendados

Conhecimentos de grupos obtidos num primeiro curso de Álgebra a nível de licenciatura.

Métodos de Ensino

O processo de ensino/aprendizagem observa uma abordagem colaborativa online, em turma virtual, que se baseia na realização de trabalhos individuais e em grupo.

A avaliação desta unidade curricular baseia-se nos seguintes factores: qualidade da participação dos estudantes nas discussões na turma virtual; nos resultados dos trabalhos individuais e em grupo. A ponderação dos elementos e critérios de avaliação das aprendizagens será objecto de negociação entre professor e alunos.

Resultados de Aprendizagem

Esta Unidade Curricular visa proporcionar os conhecimentos e competências fundamentais acerca dos princípios, conceitos e técnicas da Lógica de forma a poderem ser usados de forma significativa na demonstração automática de teoremas. 

Ao concluir esta unidade curricular o aluno deverá estar capaz de:

- Reconhecer a importância da Lógica e da sua aplicação em fragmentos decidíveis da Matemática;

- Identificar, classificar e integrar os princípios, conceitos e técnicas da Lógica e as suas aplicações na demonstração automática de teoremas.

Estágio(s)

Não

Programa

1. Lógica proposicional

2. Formas normais

3. Lógica de primeira ordem – semântica

4. Lógica de primeira ordem – cálculo

5. Aritmética

6. Indecidibilidade e complexidade

7. Algoritmos para a demonstração automática.   

Métodos de Avaliação

Avaliação
Exame: 30.0%
Resolução de problemas: 35.0%
Trabalho de investigação: 35.0%

Bibliografia

- “Mathematical logic”, R. Cori & D. Lascar, Oxford University Press, 2000.

- “Automated reasoning with Otter”, J. A. kalman, Rinton Press, 2001.

- “Automated deduction in equational logic and cubic curves”, W. McCune and R. Padmanabhan, Lecture Notes in Computer Science, Springer-Verlag, 1996.