Sumários
T_17
4 Dezembro 2020, 09:30 • Mário Jorge Edmundo
Forma normal prenexa, fórmula universal, exemplos; Skolemização, exemplos; Satisfazibilidade, satisfazibilidade e skolemização.
TP11_17
4 Dezembro 2020, 08:00 • Mário Jorge Edmundo
Realização do teste 1 (45 minutos, presencial para um turno). Exemplos (identificar termos, fórmulas e sentenças); Exemplos (sentenças e traduções).
TP12_17
3 Dezembro 2020, 10:30 • Mário Jorge Edmundo
Realização do teste 1 (45 minutos, presencial para um turno). Exemplos (identificar termos, fórmulas e sentenças); Exemplos (sentenças e traduções).
Quantificadores
3 Dezembro 2020, 08:00 • Daniela Montrasio
- Exercício 107;
- Exercício 110;
- Exercício 99.