A cartilha da lógica

Essencial à compreensão do conhecimento em muitas searas, a Lógica guarda papel destacado e de extrema relevância para a Matemática e para a Computação. Evidenciar argumentos, sentenças e conteúdos inerentes ao ambiente das Ciências Exatas é fundamental e só se torna possível por meio de linguagens próprias e formais. A Cartilha da Lógica, em sua terceira edição, traz justamente todo o conteúdo necessário ao acompanhamento de disciplinas que tenham foco em Lógica Matemática. Ao longo de uma substancial carreira como docente e profissional da área, a professora Maria do Carmo Nicoletti compilou e atualizou ricas anotações de aulas, com um cuidado ímpar associado à didática e ao sequenciamento de temas. Composta por seis capítulos, a obra apresenta, ainda, listas de exercícios e inúmeros exemplos, figuras e tabelas que auxiliam o estudo e levam à compreensão de teorias, argumentações e resultados. Estudantes de Ciência da Computação, Matemática e Engenharia da Computação são o público-alvo do livro, cujo texto também pode ser utilizado em cursos de pós-graduação que demandam conhecimento mais embasado de Lógica.