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.