Jump to content

Lógica para Programação (IST)


Rui Carlos

Recommended Posts

Rui Carlos

Lógica para Programação (IST)

Ver Ficheiro

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

Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • 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.