MAT 1 03 - Matemática Discreta

Regente

Objectivos

Desenvolver nos alunos capacidades de formalização, rigor, modelação, cálculo, abstracção e dedução.

Sinopse

Introdução informal aos conectivos lógicos e quantificadores. Conjuntos e principais operações sobre conjuntos, sequências e produto cartesiano de conjuntos. Relações, relação de equivalência e conjunto quociente, e relações de ordem. Funções (parciais) e aplicações; aplicações injectivas, sobrejectivas e bijectivas. Cardinal de um conjunto: conjuntos finitos e infinitos, conjuntos numeráveis, contáveis e não contáveis. Morfismos e isomorfismos entre estruturas (algébricas e relacionais). Conjuntos definidos indutivamente e provas por indução. Funções recursivas, relações de recorrência e somatórios. Introdução à análise de eficiência de algoritmos e principais notações assimptóticas.