2024
Programação III
Nome: Programação III
Cód.: INF13205L
6 ECTS
Duração: 15 semanas/156 horas
Área Científica:
Informática
Língua(s) de lecionação: Português
Língua(s) de apoio tutorial: Português, Inglês
Regime de Frequência: Presencial
Objetivos de Desenvolvimento Sustentável
Objetivos de Aprendizagem
Aprender a usar metodologias e linguagens de programação que traduzam modelos especializados e de grande nível de abstração, como as linguagens declarativas e linguagens adaptadas a novos paradigmas computacionais.
Conteúdos Programáticos
Logic programming languages.
Functional programming languages.
Constraint programming and related modeling languages.
Streaming languages.
Functional programming languages.
Constraint programming and related modeling languages.
Streaming languages.
Métodos de Ensino
Metodologias de ensino:
Aulas teóricas; aulas práticas laboratoriais com problemas que acompanham a matéria teórica.
Disponibilização de exercícios, de dificuldade gradual, cobrindo os tópicos ensinados, para os alunos praticarem o domínio da matéria.
Aulas teóricas; aulas práticas laboratoriais com problemas que acompanham a matéria teórica.
Disponibilização de exercícios, de dificuldade gradual, cobrindo os tópicos ensinados, para os alunos praticarem o domínio da matéria.
Avaliação
(i) avaliação escrita (70%): 2 frequências ou um exame final
(ii) trabalho de grupo (30%)
o trabalho de grupo só pode ser realizado em período letivo.
(ii) trabalho de grupo (30%)
o trabalho de grupo só pode ser realizado em período letivo.
Bibliografia
[1] The Prolog Education Group document base
[2] OCaml documentation
[3] Constraint Logic Programming documents
[2] OCaml documentation
[3] Constraint Logic Programming documents