Ebook – Lógica para Computação

Sou professor, tenho interesse

Ebook – Lógica para Computação

2ª Ediçãoª edição
Ano de publicação: 2018
ISBN-13: 9788522127191
No. de páginas: 256
Status: Ativo
Preço: Sob consulta
  • Descrição

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 ade¬quados 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 ma¬temáticos rigorosos para a resolução de problemas e, acima de tudo, a enor¬me 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 exer¬cícios e sugestões de ferramentas de apoio aos temas apresentados.

ARTIGOS DE INTERESSE

Ensino flexível: o que o jogo Tetris me ensinou

5 dicas para recuperar a paixão pelo ensino

Promovendo a colaboração do aluno — na sala de aula e no ambiente de trabalho

Cengage | DTCOM estará presente no 27º CIAED

Como formar alunos independentes eficazes

5 maneiras de dar suporte para seus alunos de matemática com o WebAssign

ARTIGOS DE INTERESSE

Ensino flexível: o que o jogo Tetris me ensinou

5 dicas para recuperar a paixão pelo ensino

Promovendo a colaboração do aluno — na sala de aula e no ambiente de trabalho

Cengage | DTCOM estará presente no 27º CIAED

Como formar alunos independentes eficazes

5 maneiras de dar suporte para seus alunos de matemática com o WebAssign