MDI0002

Técnicas de demonstração. Indução matemática: primeiro e segundo princípios, definição indutiva. Álgebra de conjuntos. Relações: relação de ordem, relação de equivalência. Funções: funções parciais e totais, funções injetoras, funções sobrejetoras, funções bijetoras. Contagem: princípio da multiplicação e adição, princípio de inclusão e exclusão, princípio das casas de pombo. Estruturas algébricas: semigrupos, monóides, grupos, reticulados, homomorfismos.