Lógica Para Computação

Lógica Para Computação Apresenta Um Texto Original Em Português Que, Sem Perder A Abordagem Introdutória, Expõe Rigor Matemático E Profundidade Adequados Para O Público-Alvo. A Obra Apresenta Os Fundamentos E Métodos Da Lógica Matemática Para Estudantes De Ciência Da Computação, Permitindo-Lhes Apreciar Os Benefícios E As Dificuldades Advindos Da Aplicação De Métodos Matemáticos Rigorosos Para A Resolução De Problemas E, Acima De Tudo, A Enorme Importância Dos Métodos Formais E Mais Especificamente Dos Métodos Fundamentados Em Lógica Formal Para As Diversas Facetas E Ramificações Da Ciência Da Computação. Em Sua Segunda Edição, A Obra Apresenta Novos Exercícios E Sugestões De Ferramentas De Apoio Aos Temas Apresentados.