Sumários

Aula 25 (TP 14)

20 Dezembro 2017, 09:30 • Maria da Purificação Antunes Coelho

Entrega do terceiro miniteste e correção de algumas questões do mesmo.
Resolução dos exercícios 155 e 149(4).

Aula 27 (TP13)

20 Dezembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 125, 122, 118, 117, 110 e 108.

AULA 25

19 Dezembro 2017, 10:30 • Fernando Ferreira

Resolução do problema do terceiro mini-teste sobre o algoritmo de unificação mais geral (mgu). Regras para obter uma forma prenexa duma fórmula. Alguns comentários. Deduções formais com múltiplas quantificações: um exemplo e uma falácia.

A noção de verdade de Tarski (verdade duma sentença numa estrutura para a linguagem). A noção de consequência (semântica) FO (first-order). A noção de consequência (sintática) dada pelo sistema de regras de Fitch. O teorema da completude de Gödel diz que as duas noções coincidem.

Uff...

TP 25

19 Dezembro 2017, 08:00 • Fernando Ferreira

Exercícios 135, 138, 145(5), 149(10) e 155.

Aula 26 (TP12)

18 Dezembro 2017, 12: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).