Lógica para Computação Ver capítulo amostra

Sou professor, tenho interesse

Lógica para Computação

Ano de publicação: 2017
ISBN-13: 9788522127184
No. de páginas: 256
Status: Ativo
Preço: R$ 116.90
  • Descrição

A obra 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.

ARTIGOS DE INTERESSE

Nossos alunos estão ansiosos: Devemos ajudar?

Conheça o selo editorial Milady para beleza, cosmética e bem-estar

Aprendendo sobre alunos adultos

Introdução à aprendizagem ativa [e-book]

5 maneiras de ajudar os alunos a superar a ansiedade tecnológica

Aprendizagem e comportamento [Livro novo]

ARTIGOS DE INTERESSE

Nossos alunos estão ansiosos: Devemos ajudar?

Conheça o selo editorial Milady para beleza, cosmética e bem-estar

Aprendendo sobre alunos adultos

Introdução à aprendizagem ativa [e-book]

5 maneiras de ajudar os alunos a superar a ansiedade tecnológica

Aprendizagem e comportamento [Livro novo]