O curso começa com lógica proposicional, abordando tabelas-verdade e casos concretos, para então avançar para a linguagem das demonstrações: condições, quantificadores, conjuntos, funções, relações, grafos, contagem e indução. Ele foi estruturado para estudantes de Ciência da Computação e Matemática que desejam ler e escrever demonstrações mais claras, identificar falhas de raciocínio e justificar afirmações com exemplos precisos antes de generalizar. Ao final, os principais objetos da matemática discreta deixam de ser apenas definições e passam a ser ferramentas práticas para a construção de demonstrações.
Tabelas-verdade para conectivos proposicionais, condições necessárias e suficientes, ordem dos quantificadores, operações com conjuntos, tipos de funções, relações de equivalência, conectividade de grafos, crescimento fatorial, triângulo de Pascal e a indução como roteiro de demonstração. O curso também aborda hábitos de verificação de demonstrações, como a redação precisa, casos-base identificados e passos indutivos.