Lógica Matemática: Para a informática com exercícios corrigidos.DE

Bem-vindo a este livro dedicado à Lógica Matemática para Ciência da Computação, uma disciplina fundamental que esclarece o funcionamento lógico por trás dos sistemas informáticos modernos. Ao longo deste livro, exploraremos a lógica proposicional e a lógica predicativa de uma maneira simples e compreensível. Os exercícios que acompanham cada capítulo foram cuidadosamente selecionados para proporcionar aos leitores a oportunidade de colocar em prática os princípios discutidos e reforçar a sua compreensão. Quer seja um estudante de ciência da computação, um profissional da área ou simplesmente um apaixonado por lógica matemática, este livro didático pretende ser o seu companheiro de confiança na exploração deste domínio fascinante.