Sumários
T1
20 Setembro 2022, 10:30 • Mário Jorge Edmundo
Apresentação do docente. Informações sobre o funcionamento da u.c.: recursos de aprendizagem; avaliação.
Linguagens de primeira ordem, constantes, símbolos predicativos, exemplo, símbolos funcionais e termos fechados, exemplos, nota sobre notação prefixa e infixa, símbolo da igualdade, sentenças atómicas, exemplos, nota sobre notação prefixa e infixa.