SINOPSE
Destinado a quem deseja iniciar seus estudos em Lógica Matemática, o conteúdo apresenta uma linguagem clara e acessível. Os capítulos são estruturados de forma concisa, abordando teorias com exemplos práticos e exercícios variados, incluindo questões de múltipla escolha e discursivas, com soluções para acompanhamento do aprendizado.
Ao final de cada capítulo, resumos destacam os pontos principais discutidos. Um dos destaques é a introdução à Linguagem de Programação Prolog, que ensina a resolver problemas lógicos por meio de software, incluindo orientações para instalação e criação de programas simples.