Lógica para computação

Silva, Flávio Soares Corrêa da (Autor), Finger, Marcelo (Autor), Melo, Ana Cristina Vieira de (Autor)

Computação, Informática

Sinopse

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.

Metadado adicionado por Editora Cengage em 09/10/2017

ISBN relacionados

9788522105175 (ISBN da Edição anterior)