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.
Código: |
L112-9788522127184 |
Código de barras: |
9788522127184 |
Peso (kg): |
1,000 |
Altura (cm): |
1,00 |
Largura (cm): |
1,00 |
Espessura (cm): |
1,00 |
Autor |
DE, MELO |
Editora |
CENGAGE LEARNING |
Idioma |
Português |
Encadernação |
BROCHURA |
Páginas |
256 |
Ano de edição |
2017 |