Sumários
Aula 3 - TP13
28 Setembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 5 (conclusão), 10, 12, 13 (alíneas (1) a (5)) e 15.
AULA 3
27 Setembro 2016, 10:30 • Fernando Ferreira
Especificação duma linguagem da lógica de primeira-ordem. Termos. Sentenças atómicas.
Aula 2 - TP12
26 Setembro 2016, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 5 (mundo de Leibniz), 6, 7, 8 (1ª parte), 9 e 14.
Aula 2 -TP13
26 Setembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 5 (mundo de Leibniz), 6, 7, 8 (1ª parte), 9 e 14.