Sumários

Aula 2 (TP12)

21 Setembro 2017, 10:30 • Maria da Purificação Antunes Coelho

Conclusão do exercício 3. Exercícios 4, 5 (mundo de Leibniz) e 6. Início do exercício 8.

Aula 2 (TP14)

21 Setembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 2 e 3. Exercícios 4, 5 (mundo de Leibniz), 6 e 8. Início do exercício 9.

Aula 1 (TP 14)

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

Apresentação. Introdução à linguagem dos mundos de blocos. Resolução dos exercícios 1, 2a) e 3 (alíneas 1 e 3).

Aula 2 (TP 13)

20 Setembro 2017, 08:00 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 2 e 3. Exercícios 4, 5 (mundo de Leibniz), 6 e 8.

AULA 1

19 Setembro 2017, 10:30 • Fernando Ferreira

Apresentação do professor e da unidade curricular. Descrição da avaliação. Bibliografia.  As plataformas MOODLE e FenixEdu de apoio à disciplina (a plataforma principal é a MOODLE, mas os sumários aparecem na FenixEdu). Chamada de atenção para que os alunos estejam em condições de receber e ver as e-mensagens enviadas pelo professor.

Especificação de uma linguagem da lógica de primeira-ordem: constantes (ou nomes) e símbolos relacionais (ou predicativos) com respetiva aridade. O símbolo relacional binário de igualdade (notação infixa). 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). A interpretação do símbolo da igualdade está fixa. Exemplos de interpretações. Sentenças (atómicas) verdadeiras e sentenças (atómicas) falsas.