Sumários
TP13_2
25 Setembro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 10 e 11 e exercícios 1 (b), 2(b), 3(b), 4 e 5 das Notas de LPO.
TP14: Termos fechados.
22 Setembro 2023, 11:30 • Mário João de Jesus Branco
Exercício suplementar sobre termos fechados. Exerc. 1(a), 3(a) e 2(a) das pág. 5 e 6 das notas teóricas. Notação prefixa e notação infixa.
T_2
22 Setembro 2023, 09:30 • Mário Jorge Edmundo
Símbolos de igualdade, sentenças atómicas, exemplos. Interpretação de uma LPO, a semântica das sentenças atómicas, exemplo; a semântica da igualdade; os conectivos booleanos, a semântica dos conectivos booleanos, exemplos.
TP11_1
22 Setembro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 1(a), 2(a), 3(a) e parte do 4 das Notas de LPO.
TP12: Termos fechados.
21 Setembro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 1(a) e 3(a) das pág. 5 e 6 das notas teóricas.