Sumários

TP12_3

23 Setembro 2024, 12:00 • Mário Jorge Edmundo

Apresentação do docente. A linguagem de primeira-ordem dos mundos de blocos. Discussão e resolução dos exercícios 1, 2, 4 e 3. 

TP13 aula 1

23 Setembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Apresentação. Algumas considerações sobre o funcionamento das aulas TP. Explicação da linguagem dos Mundos de Blocos. Exercícios 1 e 2.

TP14 20 de setembro

20 Setembro 2024, 11:30 • Maria da Purificação Antunes Coelho

Não houve aula.

Aula teórica 2

20 Setembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Aridade de um símbolo relacional. O símbolo relacional binário da igualdade e sua interpretação.

Sentenças atómicas da forma R(c_1,...,c_n) em que R é um símbolo relacional de aridade n e c_1,...,c_n são constantes.
Símbolos funcionais e sua aridade. Papel semântico dos símbolos funcionais (exprimir funções). Exemplos.

TP11_2

20 Setembro 2024, 08:00 • Mário Jorge Edmundo

Não houve aula. Conforme mensagem enviada aos alunos, as aulas TP  começam no dia 23 de setembro