Disciplina Curricular
Programação em Lógica e Funcional PLF
Licenciatura Bolonha em Matemática Aplicada e Computação - LMAC 2006
Peso
6.0 (para cálculo da média)
Objectivos
Dominar os fundamentos e as aplicações da programação declarativa nos paradigmas lógico e funcional.
Programa
Introdução à lógica clausal, sintaxe e semântica. Semântica denotacional: pontos fixos, modelos de Herbrand. Semântica operacional: unificação, resolução-SLD, correcção e adequação. Procedimentos de refutação. Adequação computacional da programação em lógica. Aspectos pragmáticos: corte e negação por falha. Programação em lógica: PROLOG. Introdução ao cálculo-lambda, sintaxe, congruência-alfa. Semântica axiomática: teorias, coerência. Semântica operacional: redução-beta, formas normais, confluência, teorema de Church-Rosser. Lógica combinatória, completude combinatória, determinadores de pontos fixos e recursão. Adequação computacional da programação funcional. Programação funcional: SCHEME.
Metodologia de avaliação
Fichas (30%); projecto (30%); exame final (40%).