Código: 22216
ECTS: 5
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Matemática
Palavras-Chave:

Lógica;
Raciocínio matemático;
Teoria da demonstração.

Docente:
Gilda Ferreira
Área Científica: matemática
Correio Eletrónico: Gilda.ferreira@uab.pt

Sinopse:
Nesta unidade curricular são introduzidos os conceitos de elementos de lógica na formalização do raciocínio matemático. É trabalhado um conjunto de métodos de lógica de primeira ordem.

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

• Reconhecer a importância da Lógica na formalização do raciocínio matemático;
• Trabalhar com um conjunto de métodos e conceitos da lógica de primeira ordem e teoria da demonstração;
•  Identificar teorias completas, incompletas, decidíveis ou indecidíveis.

Conteúdos:
1. Cálculo de Proposições
2. Cálculo de Predicados
3. Teoria e Modelos

Bibliografia:
- M. Edmundo, Introdução à Lógica, author notes, 2013
- E. Mendelson, Introduction to Mathematical Logic, Fourth Edition Chapman & Hall/CRC 2001.
 

Total de Horas de Trabalho: 130
Total de Horas de Contacto: 20

Avaliação:
A avaliação tem caráter individual e implica a coexistência de duas modalidades: avaliação contínua (60%) e avaliação final (40%). Essa avaliação será desenvolvida na aplicação de formas diversificadas, definidas no Contrato de Aprendizagem da unidade curricular.