Elementos de lógica clássica de primeira ordem. Teoria intuitiva dos conjuntos. Relações e
grafos. Relações de equivalência. Relações de ordem. Funções. Técnicas de demonstração:
prova direta, prova por contradição. Indução finita. Relações de recorrência. Cardinalidade:
conjuntos finitos e infinitos; conjuntos enumeráveis e não enumeráveis. Princípios de
contagem e combinatória. Princípio de inclusão e exclusão. Princípio das casas dos pombos.