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.

Informações sobre o Livro

Título do livro : LOGICA PARA COMPUTACAO – 02ED/17
Série : Informática e Tecnologia
Autor : FINGER; SILVA DA; MELO DE
Idioma : Português
Editora do livro : Cengage Learning
Edição do livro : Ciencia da Computação
Capa do livro : Mole
Com índice : Sim
Ano de publicação : 20
Quantidade de páginas : 256
Altura : 16 cm
Largura : 23 cm
Peso : 363 g
Material da capa do livro : Mole
Com páginas para colorir : Sim
Com realidade aumentada : Sim
Coautores : FINGER; SILVA DA; MELO DE
Tradutores : Português
Subgêneros do livro : Ciencia da Computação
Tipo de narração : Lógica Para Computação – 02Ed/17
Versão do livro : Informática e Tecnologia
Tamanho do livro : Médio
Coleção do livro : Lógica Para Computação – 02Ed/17
Idade mínima recomendada : 3 anos
Escrito em letra maiúscula : Sim
Quantidade de livros por kit : 1
Data de publicação : 01-12-2017
Gênero do livro : Informática e Tecnologia