Código: 22234
ECTS: 7,5
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Matemática
Palavras-Chave:
Isabel Oitavem
Correio Eletrónico: oitavem@fct.unl.pt
Sinopse:
Introdução à Lógica e à Teoria de Conjuntos dando ênfase ao Teorema de Completude na Lógica e à formalização da Matemática na Teoria de Conjuntos.
Competências:
Domínio dos resultados/técnicas base da Lógica de primeira ordem e da Teoria axiomática de conjuntos.
Conteúdos:
Total de Horas de Trabalho: 210
Total de Horas de Contacto: 30
Avaliação:
ECTS: 7,5
Departamento: Departamento de Ciências e Tecnologia
Área Científica: Matemática
Palavras-Chave:
- Lógica, completude, teoria de conjuntos
Isabel Oitavem
Correio Eletrónico: oitavem@fct.unl.pt
Sinopse:
Introdução à Lógica e à Teoria de Conjuntos dando ênfase ao Teorema de Completude na Lógica e à formalização da Matemática na Teoria de Conjuntos.
Competências:
Domínio dos resultados/técnicas base da Lógica de primeira ordem e da Teoria axiomática de conjuntos.
Conteúdos:
- Sintaxe e semântica da Lógica de primeira ordem
- Completude da lógica de primeira ordem
- Teoria de conjuntos de Zermelo-Fraenkel
- Formalização de conceitos da matemática em ZF.
Total de Horas de Trabalho: 210
Total de Horas de Contacto: 30
Avaliação:
O regime de avaliação único é o de avaliação contínua, constituída pela realização de trabalhos em formato digital ao longo do semestre letivo e um exame escrito a ter lugar no final do semestre, com pesos de, respetivamente, 40% e 60% na classificação final.