Fundamentos de Matemática Discreta

Os principais objectivos desta U.C. são:
- Definir operadores e expressões de lógica proposicional e de lógica de predicados.
- Construir de forma rigorosa, argumentos matemáticos que ocorrem nomeadamente na demonstração de proposições simples.
- Analisar outras entidades matemáticas como as relações e as funções.
- Desenvolver dados discretos e suas relações através de estruturas abstractas.
Para adquirir estas competências teremos de ter em conta as duas fases distintas do programa curricular, são elas;
Lógica: Lógica proposicional. Lógica relacional. Argumentação matemática. Técnicas de demonstração.
Teoria de Conjuntos: Noções fundamentais. Operações com conjuntos. Relações Binárias. Relações de equivalência. Relações de ordem parcial. Relações de ordem total.
A avaliação desta U.C. depende directamente de dois testes, cada um corresponderá a uma fase das já apresentadas.
O docente responsável por FMD é o Professor Luís Silva.