Publicado em 23 de junho de 2025.

A presente obra tem como objetivo oferecer uma introdução rigorosa e acessível à Lógica Matemática e à Teoria de Conjuntos, com foco nas demandas curriculares dos cursos de Engenharia e cursos na modalidade de Ensino a Distância (EAD). Estes dois domínios fundamentais constituem a base para o desenvolvimento do raciocínio lógico-formal, essencial para a formação acadêmica e profissional dos futuros engenheiros e profissionais das ciências exatas.
A Lógica Matemática fornece as ferramentas necessárias para a construção e a análise de argumentos válidos, o desenvolvimento de provas matemáticas e a compreensão de estruturas formais. A Teoria de Conjuntos, por sua vez, estabelece a linguagem universal da matemática moderna, sendo indispensável para o entendimento de conceitos como funções, relações, estruturas algébricas e sistemas numéricos.
O conteúdo foi organizado de maneira gradual, priorizando a clareza expositiva, a formalização progressiva dos conceitos e a articulação entre teoria e prática. A estrutura dos capítulos contempla definições precisas, resultados, exemplos e cores, favorecendo o aprendizado autônomo — característica essencial no ambiente EAD.
Este livro busca, portanto, não apenas cumprir uma função didática, mas também contribuir para a consolidação de uma formação matemática sólida, crítica e aplicada, alinhada às exigências contemporâneas da educação em Engenharia.