Lógica Computacional 2025-2026 - Trabalhos Práticos

Avaliação contínua

1. Os alunos participam na avaliação contínua integrados em grupos. A constituição dos vários grupos de trabalho é feita individualmente por cada aluno nesta folha de cálculo.
2. Cada grupo contém 2 alunos ou excepcionalmente 3. Nos grupos com 3 alunos, a nota do trabalho é penalizada em $$5%$$. Devido ao elevado número de inscrições não é possível existir participação individual não integrado num grupo.
3. A ferramenta fundamental para as aulas e os trabalhos práticos é a linguagem Python e o ecosistema de “packages” a ela associadas. Recomenda-se que a instalação desses elementos seja feita via Anaconda, com as “packages” OR-Tools, Z3-solver (ou PySMT).
4. Complementar e opcionalmente pode-se usar Julia e as packages JuMP , Satisfiability e JuliaGraphs via juliaup.
5. Em alternativa às soluções locais pode-se usar uma solução na “cloud” como o Google Colab que suporta ambos os ecosistemas Python e Julia . Esta opção exige porém que as “packages” usadas tenham de ser carregadas em cada execução de cada programa.
6. Os trabalhos têm a forma de um “notebook” (Jupyter, VSCode ou Colab) distinto para cada um dos problemas **indicados. Cada notebook deve
   1. descrever o problema e a abordagem usada para o resolver,
   2. apresentar o código Python/Julia que resolve o problema,
   3. apresentar exemplos e testes de aplicação realistas que testem a correção do código, a sua eficiência computacional e a capacidade de escalar para grandes problemas.
7. A entrega do trabalho tem a forma de uma discussão oral de 30 minutos com todos os elementos do grupo, e inclui a demonstração da boa execução do código.
8. A avaliação do trabalho incide sobre os três items referidos no nº 6 e ainda a discussão oral referido no nº 7.
9. Os “notebooks” Jupyter executáveis (ou o link no caso do Colab) e uma cópia PDF de cada um, devem ser previamente enviados via e-mail ao responsável da disciplina (@José Manuel V ) até às 23:59 da véspera da 1ª data de entrega desse trabalho.
10. A entrega dos trabalhos realiza-se nas datas abaixo indicadas. A inscrição no horário de entrega é feita pelos grupos na folha de cálculo referida em 1.
11. Informação complementar sobre a disciplina pode ser vista nesta diretoria.

		Material	Nota
TP1	7 e 9 de Outubro 2025	TP1	B
TP2	11 e 13 de Novembro 2025	TP2	A
TP3	9 e 11 de Dezembro 2025	TP3	A
TP4	06 de Janeiro 2026	TP4	A