Jump to content

Lógica para Programação (IST) 2009

Sign in to follow this  

About This File

Texto abordando conceitos de Lógica e a sua aplicação na programação. Inclui capítulo dedicado à programação em lógica utilizando Prolog. Adicionalmente, todos os capítulos contêm exercícios no final, sendo disponibilizada a solução de alguns deles em apêndice.

Instituto Superior Técnico

Lógica para Programação

Autor: Professor João Pavão Martins

Conteúdo

  1. Conceitos Básicos
  2. Lógica Proposicional
  3. Lógica de Primeira Ordem
  4. Programação em Lógica
  5. Prolog
  • Sumário das Regras de Inferência
  • Manual de Sobrevivência em Prolog
  • Soluções de Exercícios Seleccionados



×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.