Sumários
Aula 1 - TP13
21 Setembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Apresentação. Explicação da linguagem dos mundos de blocos. Exercícios 1, 2 a) e 3.
AULA 1
20 Setembro 2016, 10:30 • Fernando Ferreira
Apresentação do professor e da unidade curricular. Descrição da avaliação. Bibliografia. Informações sobre as aulas teórico-práticas.
Especificação de uma linguagem da lógica de primeira-ordem: constantes (ou nomes) e símbolos relacionais (ou predicativos) com aridade. Papel semântico das constantes e dos símbolos relacionais. Exemplo duma interpretação. Exemplo informal de sentenças verdadeiras e falsas.