Sumários
Aula 26 (TP13)
18 Dezembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Entrega do terceiro miniteste e correção de algumas questões do mesmo.
Exercícios 155 e 149(4).
AULA 24
15 Dezembro 2017, 09:30 • Fernando Ferreira
Discussão de duas traduções.
Quantificações numéricas.
A noção de estrutura para uma linguagem de primeira-ordem.
Aula 25 (TP12)
14 Dezembro 2017, 10:30 • Maria da Purificação Antunes Coelho
Realização do terceiro mini-teste.
Aula 24 (TP14)
14 Dezembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Realização do terceiro mini-teste.