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)