• 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.

Código: 23384
EAN: 9788522127184
Peso (kg): 0,036
Altura (cm): 23,00
Largura (cm): 16,00
Espessura (cm): 1,50
Especificação
Autor Ana Marcelo; Cristina Vieira De Melo Flávio; Finger Soares Corrêa Da Silva
Editora CENGAGE LEARNING
Ano Edição 2017
Número Edição 2

Escreva um comentário

Você deve acessar ou cadastrar-se para comentar.

Lógica Para Computação

  • Disponibilidade: Em estoque
  • R$117,00