Lógica para Computação

Sou professor, tenho interesse

Lógica para Computação

Ano de publicação: 2006
ISBN-13: 9788522105175
No. de páginas: 244
Preço: Não disponível
  • Descrição
  • Conteúdos
  • Aplicações

O livro 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 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.

Livro-texto para as disciplinas lógica e métodos formais nos cursos de graduação e pós-graduação em Ciências da Computação, Matemática e Filosofia. Leitura complementar para a disciplina fundamentos matemáticos da computação. Leitura recomendada também para profissionais e todos aqueles que, direta ou indiretamente, lidam com métodos formais e matemáticos para a resolução de problemas.

  • Parte I – Lógica Proposicional.
  • 1. Lógica Proposicional: Linguagem e Semântica.
  • 2. Sistemas Dedutivos.
  • 3. Aspectos Computacionais.
  • Parte II – Lógica de Predicados.
  • 4. Lógica de Predicados Monádicos.
  • 5. Lógica de Predicados Poliádicos.
  • Parte III – Verificação de Programas.
  • 6. Especificação de Programas.
  • 7. Verificação de Programas.

ARTIGOS DE INTERESSE

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

A importância da autorreflexão na aprendizagem

Os benefícios de uma mentalidade de crescimento e os perigos de uma mentalidade fixa

ARTIGOS DE INTERESSE

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

A importância da autorreflexão na aprendizagem

Os benefícios de uma mentalidade de crescimento e os perigos de uma mentalidade fixa