Lógica Para Computação - 2 Ediçã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 Ade¬Quados 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 Ma¬Temáticos Rigorosos Para A Resolução De Problemas E, Acima De Tudo, A Enor¬Me 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 Exer¬Cícios E Sugestões De Ferramentas De Apoio Aos Temas Apresentados.