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.
Peso: | 0,36 kg |
Número de páginas: | 256 |
Ano de edição: | 2017 |
ISBN 10: | 8522127182 |
ISBN 13: | 9788522127184 |
Altura: | 23 |
Largura: | 16 |
Comprimento: | 2 |
Edição: | 2 |
Idioma : | Português |
Tipo de produto : | Livro |
Assuntos : | Ciência da Computação |
Nós usamos cookies para melhorar a sua experiência no site e, ao continuar navegando, você concorda com essas condições. Acesse o nosso Portal de Privacidade para visualizar nossas Política de Privacidade, Política de Cookies e Termo de Compromisso e Uso do Site.
Avaliações