Contagens básicas que dão origem aos números mxn, 2n , n! e combinações de m elementos n a n.
Coeficientes binomiais e arranjos. Triângulo de Pascal. Demonstração das principais igualdades, exemplificando técnicas indutivas e de contagem (ou de bijecção). Fórmula do binómio de Newton. Contagem do número de funções (funções crescentes) e do número de injecções (funções estritamente crescentes) entre conjuntos finitos (finitos e totalmente ordenados). O princípio da inclusão/exclusão.
O princípio dos cacifos. Numerabilidade versus enumerabilidade, mostrando que o produto e a união numerável de conjuntos numeráveis é numerável.
Somatórios, manipulações e truques (exemplos: troca da ordem dos somatórios redenominação de variáveis). Exemplos de somas simples pelo método telescópio.
Relações de recorrência. A sucessão de Fibonacci. Solução de relações lineares de recorrência. Somas formais e funções geradoras.
