A Série Apontamentos explora textos de apoio para cursos de graduação e pós-graduação, destacando a relação entre Lógica e Computação na modelagem de situações e problemas. A linguagem é essencial para construir argumentos de forma rigorosa, sendo a Lógica Proposicional e a Lógica de Predicados abordadas na Cartilha da Lógica. O material também apresenta conceitos da Álgebra de Boole e métodos de minimização de expressões booleanas, com 138 exemplos, 30 figuras, 106 tabelas e 53 exercícios para facilitar o aprendizado.