Sumários
Termos e sentenças atómicas
11 Outubro 2021, 12:00 • Maria João Antunes Dias Gouveia
Construção de termos e sentenças atómicas numa LPO dada - exploração de exemplos. Resolução dos exercícios 10 e 11 do caderno de exercícios disponibilizado na página Moodle da disciplina.
TP13_1
11 Outubro 2021, 08:00 • Mário Jorge Edmundo
Revisão: termos fechados, símbolo da igualdade, sentenças atómicas. Exemplos de termos fechados, sentenças atómicas e expressões mal formadas numa LPO. Resolução dos exercícios 10 e 11.
TP14_0
8 Outubro 2021, 11:30 • Mário Jorge Edmundo
A aula não foi dada, pois ocorreu antes da primeira aula teórica.
T_1
8 Outubro 2021, 09:30 • Mário Jorge Edmundo
Apresentação do docente e indicações sobre o funcionamento da u.c., incluindo avaliação e recurso de aprendizagem. Linguagens de primeira ordem (LPO); constantes; símbolos predicativos; exemplo de uma LPO; símbolos funcionais; termos fechados; exemplos termos fechados numa LPO.
TP11_0
8 Outubro 2021, 08:00 • Mário Jorge Edmundo
A aula não foi dada, pois ocorreu antes da primeira aula teórica.