MDI0003

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. Estruturas algébricas: semigrupos, monóides, grupos, reticulados, álgebras booleanas. Contagem: princípio da multiplicação e adição, princípio de inclusão e exclusão, princípio das casas de pombo.