Sumários

Aula 26 TP14

19 Dezembro 2018, 09:30 Maria da Purificação Antunes Coelho

Entrega do terceiro mini-teste.
Resolução dos exercícios 148(5), 152(1), 152(2), 152(10), 155 e 161.


TP12-19

19 Dezembro 2018, 08:00 Bruno Dinis

Exercícios 152 (3)(7)(13)(14).


AULA 26

18 Dezembro 2018, 10:30 Fernando Ferreira

Resolução duma modificação do exercício 152(4). Deduções formais que envolvem quantificações alternadas. Discussão dum erro.

Breves notas sobre a noção de estrutura para uma linguagem da LPO. Sem nenhuns detalhes, mencionou-se a definição de verdade de Tarski e a noção de consequência semântica em LPO. Enunciou-se o teorema da completude de Gödel e mencionou-se a indecidibilidade da LPO devida a Church.


TP12-18

18 Dezembro 2018, 08:00 Bruno Dinis

Exercícios 152(1), 148(5), 155, 161 e 160.


26 TP12

17 Dezembro 2018, 12:00 Fernando Ferreira

Exercícios 148(5), 152(1), 155, 161 e 152(10).