Noções de lógica simbólica. uma breve história e principais sistemas de teoria dos conjuntos. coleções versus classes, escolha da teoria km onde todo objeto é classe, entidades de km: classes, conjuntos ou elementos, classes próprias ou não elementos, e indivíduos, compreensão, extensionalidade, classe vazia e classe universal, listas finitas, inclusão, operações elementares: interseção elementar, união elementar,complemento e diferença de classes, disjunção entre classes, completamento e complementaridade, famílias de conjuntos, interseção e união de famílias, relações em geral, classe-potência, produto cartesiano, inversão, domínio, imagem e campo, domínio e imagem relativos, restrições pelo domínio e pela imagem, composição, relações e funções, relações notáveis, relações de ordem e partições.