Este documento apresenta um resumo do livro "Fundamentos Matemáticos para a Ciência da Computação", 3a edição. O prefácio descreve as principais alterações feitas nesta edição em relação à anterior, incluindo a ampliação de tópicos como lógica formal e definições recursivas, além da introdução de novos tópicos como programação lógica e princípios combinatórios. Também fornece uma tabela com os pré e pós-requisitos de cada seção para auxiliar na escolha da ordem