Programa Resumido (2005/2006)

Componente Teórica

• Lógica Proposicional
  • Sintaxe
  • Linguagens de Cláusulas
  • Validade e Verificação
  • Redução Semântica
  • Modelos e Diagramas de Decisão Binária
  • Exemplos de problemas SAT
• Lógica de Primeira Ordem
  • Sintaxe da Lógica de Predicados
  • Substituições
  • Semântica da Lógica de Predicados
  • Modelos de Herbrand da LPO

Componente Teórico-Prática

• Programação Lógica na linguagem Prolog
• Programação com Restricções