Sumários
Aula 2 TP14
20 Setembro 2018, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 4, 5, 6, 8 e 9.
Aula 1 TP14
19 Setembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Apresentação.
Introdução da linguagem dos mundos de blocos.
Resolução dos exercícios 1, 2a) e 3.
AULA 1
18 Setembro 2018, 10:30 • Fernando Ferreira
Apresentação do professor e da unidade curricular. Descrição da avaliação. Bibliografia. As plataformas MOODLE e FENIX de apoio à disciplina (a plataforma principal é a MOODLE, mas os sumários aparecem na FENIX).
Especificação de uma linguagem da lógica de primeira-ordem: constantes (ou nomes) e símbolos relacionais (ou predicativos) com respetiva aridade. Exemplos. O papel semântico das constantes é referir um objeto do domínio do discurso. O papel semântico dos símbolos relacionais é exprimir relações (entre objetos do domínio do discurso). Exemplos de interpretações. Sentenças (atómicas) verdadeiras e sentenças (atómicas) falsas.
TP11-1
18 Setembro 2018, 08:00 • Mário Jorge Edmundo
Breve apresentação. A linguagem do mundo de blocos: constantes, predicados, funções e símbolo de igualdade. Exercícios 1, 2 e 3.