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
- Conceitos Básicos
- Lógica Proposicional
- Lógica de Primeira Ordem
- Programação em Lógica
- Prolog
- Sumário das Regras de Inferência
- Manual de Sobrevivência em Prolog
- Soluções de Exercícios Seleccionados