Significado operacional determinístico

• Estratégia, árvore de procura
• Listas
• Estratégia standard
• Visão procedimental da programação em lógica
• Exercícios 
  • Exercício do Exame Final de 1997: Problema
  • Exercício do Exame de Recurso de 1997: Problema
  • Exercício do Exame de Recorrência de 1998: Problema
  • Possível resolução das alíneas a) e b) do problema
  • Exercício do Exame de Recurso de 1998: Problema
  • Oito Exercícios resolvidos sobre listas: Problema
  • Possíveis soluções
  • Exercício do Exame de Recorrência de 1997: Problema
  • Exercício do Exame de Recorrência de 1997: Problema
  • Exercício do Exame de Final de 1998: Problema
  • Possível resolução
  • Exercício do Exame de Final de 1998: Problema
  • Possível resolução
  • Exercício do Exame de Recorrência de 1998: Problema
  • Possível resolução
  • Exercício do Exame de Recurso de 1998: Problema