• Já disponíveis as notas finais da época de recurso.

•     Aulas teóricas: 2 horas
•     Aulas práticas: 3 horas

• Esta disciplina tem por objectivo introduzir e consolidar  noções de  tipos de dados e algoritmos, utilizando para tal uma  linguagem de programação, funcional e fortemente tipada com inferência de tipos, o ML.

• Aulas teóricas
• Aulas práticas (e respectivos exercícios)

Nas aulas práticas é utilizado o interpretador de Caml Light.
Pode aqui obter o livro "Functional Programming using CAML Light"

A avaliação tem duas componentes:

• Provas escritas
• Trabalho prático

A componentes das provas escritas pode ser obtida pela realização de uma primeira frequência (realizada no dia 10/4/99,  já disponíveis as notas e enunciados e resolução - em html e em MS Word) e de um segunda frequência (realizada no dia 1/7/99), ou de um exame (realizado no dia 1/7/99). O enunciado da 2ª frequência e exame, bem como as notas finais da época normal já estão disponíveis.

Os trabalhos deveriam ter sido entregues até dia 1/7/99.

Na época de recurso, o exame realizar-se-á no dia 29/9/99, sendo esta também a data de entrega dos trabalhos. Pode consultar os resultados da avaliação nesta época aqui.