Sumários
TP13_1
7 Outubro 2020, 08:00 • Bruno Dinis
Breves palavras introdutórias. Exemplos de linguagens de primeira ordem. Resolução dos exercícios 10 e 11 e parte do exercício 12.
T1_1
6 Outubro 2020, 10:30 • Mário Jorge Edmundo
Apresentação do docente; as plataformas fénix e moodle; objectivos, programa e bibliografia; funcionamento das aulas teóricas e teórico-práticas; descrição da avaliação e datas dos testes. Linguagens de primeira ordem; constantes e o seu papel semântico; símbolos predicativos e o seu papel semântico; exemplo; símbolos funcionais e termos fechados; exemplos; símbolo de igualdade, sentenças atómicas e o seu papel semântico; exemplos.
TP11_1
6 Outubro 2020, 08:00 • Mário Jorge Edmundo
Aula não foi dada (anterior à primeira aula teórica)