Sumários
Símbolos funcionais
18 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 4, 5 e 6.
T1
17 Setembro 2019, 10:30 • Mário Jorge Edmundo
Apresentação do docente; informações sobre a u.c., a bibliografia, aulas TP, avaliação a as plataformas Moodle e Fénix. Linguagens de primeira ordem. Constantes e o seu papel semântico; símbolos predicativos e o seu papel semântico; símbolos funcionais e termos fechados; termos fechados e o seu papel semântico. Exemplos de LPOs e termos fechados (incompleto).
Linguagem do mundo de blocos
17 Setembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
A linguagem do mundo de blocos. Interpretações da linguagem do mundo de blocos.
Resolução dos exercícios 1, 2 e 3.