Lógica Para Computação
+ mais detalhesDescrição do Produto
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 estudan tes 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 especifica mente 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.
Atributos
- num_paginas:
- 256
- ano_edicao:
- 2017
- num_edicao:
- 2
- data_lancamento:
- 25/08/2017
- isbn13:
- 9788522127184
- ean:
- 9788522127184
- autor:
- MARCELO; CRISTINA VIEIRA DE MELO, ANA
- editora:
- CENGAGE
- encadernacao:
- BROCHURA
- peso:
- 0.036
- altura:
- 23.000
- largura:
- 16.000
- comprimento:
- 1.500