Data |
Aula |
Descrição |
Exercícios |
Ficheiros |
28/02 e 03/03 |
Aula 1 |
Termos Prolog. Unificação. |
[PS] [PDF] |
------ |
07/03 e 10/03 |
Aula 2 |
Prolog Básico. Aritmética. Negação. |
[PS] [PDF] |
[arvore.yap] |
14/03 e 17/03 |
Aula 3 |
Listas. Debugging. Introdução ao Mooshak. |
[PS] [PDF] |
------ |
21/03 e 31/03 |
Aula 4 |
Corte de Alternativas. Listas de Listas. |
[PS] [PDF] |
------ |
04/04 e 07/04 |
Aula 5 |
Submissão 1 (Avaliação) |
11/04 e 14/04 |
Aula 6 |
Predicados sobre Ataxx |
[PS] [PDF] |
------ |
18/04 e 21/04 |
Aula 7 |
Árvores Binárias (+ desafio) |
[PS] [PDF] |
------ |
28/04 (P1 a P5) |
Aula 8 |
2 Problemas Desafio (CENPL'03) |
[PS] [PDF] |
------ |
02/05 e 05/05 |
Aula 9 |
Queima das Fitas |
09/05 e 12/05 |
Aula 10 |
Apoio à realização do trabalho prático |
------ |
------ |
16/05 e 19/05 |
Aula 11 |
Diferença de Listas. Gramáticas (DCG's) |
[PS] [PDF] |
[ Soluções ] |
23/05 (P6 a P8) |
Aula 12 |
Streams. Estruturas Parcialmente definidas. |
[PS] [PDF] |
[ Soluções ]
|
30/05 e 02/06 |
Aula 13 |
Submissão 2 (Avaliação) |
Turma |
Horário |
Docente |
Registo de Presenças |
P1 |
5ª feira, 09 às 10, LabCC 2.1 |
Pedro Ribeiro |
Ver |
Alterar |
P2 |
5ª feira, 10 às 11, LabCC 2.1 |
Ver |
Alterar |
P3 |
5ª feira, 14 às 15, LabCC 2.2 |
Ver |
Alterar |
P4 |
5ª feira, 15 às 16, LabCC 2.2 |
Ver |
Alterar |
P5 |
5ª feira, 16 às 17, LabCC 2.2 |
Ver |
Alterar |
P6 |
2ª feira, 14 às 15, LabCC 2.2 |
Hugo Simões |
Ver |
Alterar |
P7 |
2ª feira, 15 às 16, LabCC 2.2 |
Ver |
Alterar |
P8 |
2ª feira, 16 às 17, LabCC 2.2 |
Ver |
Alterar |