Passar para o conteúdo principal
Délia Boino
Submetido por dboino a 7 March 2021
Objetivos

Os estudantes que terminam com sucesso esta unidade curricular serão capazes de:

  1. Explicar o funcionamento essencial dos algoritmos de dedução automática baseados na resolução;
  2. Explicar o funcionamento essencial dos sistemas de execução da linguagem Prolog;
  3. Desenvolver, testar e corrigir programas na linguagem Prolog;
  4. Usar os aspetos fundamentais da programação não determinista;
  5. Escrever relatórios onde justificam os comportamentos de programas observados e as decisões de desenho tomadas.

 

Ficha de Unidade Curricular