Exposição da matéria fundamental --motivação,
conceitos, definições, métodos e justificações--, a
nível das aulas téoricas.
Resolução de exercícios de consolidação (enunciados na
altura, ou propostos antecipadamente nas aulas teóricas, ou
teórico-práticas), no quadro e no computador, a nível das
aulas teórico-práticas.
Realização, no computador, de trabalhos concretos de
aplicação, em ambiente MS-DOS ou Unix, recorrendo
à linguagem Prolog. Os trabalhos serão desenvolvidos
extra aulas.