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.
Detalhes do produto
Editora : Editora Cengage; 2ª edição (25 agosto 2017)
Idioma : Português
Capa comum : 256 páginas
ISBN-10 : 8522127182
ISBN-13 : 978-8522127184
Dimensões : 22.8 x 15.6 x 1.2 cm
Ranking dos mais vendidos: Nº 119.625 em Livros (Conheça o Top 100 na categoria Livros)
Nº 1.842 em Computação, Informática e Mídias Digitais
Avaliações dos clientes: 4,2
11 avaliações de clientes