Lógica para computação apresenta um texto autêntico 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
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 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