Objectivos de Aprendizagem:
Esta unidade curricular constitui uma introdução ao estudo de alguns temas da Matemática Discreta: teoria elementar de conjuntos, relações, relações de equivalência, relações de ordem, álgebras de Boole, indução matemática, princípios elementares de contagem e teoria de grafos.
No final da unidade curricular o aluno deverá ser capaz de:
- distinguir os tipos básicos de demonstrações
- executar pequenas demonstrações teóricas no âmbito dos temas abordados
- determinar a partição induzida por uma relação de equivalência e vice-versa
- determinar matricialmente o fecho transitivo de uma relação
- representar graficamente relações de ordem
- executar demonstrações usando indução matemática
- resolver problemas de contagem
- manipular os coeficientes binomiais
- determinar um circuito de Euler através do algoritmo de Fleury
- determinar uma árvore geradora minimal através do algoritmo de Kruskal
- estimar o número cromático de um grafo.