AT01 Linguagem da Lógica de 1ª ordem
18 fevereiro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Apresentação e bibliografia. Assinatura de 1ª ordem. Exemplos. Variáveis e termos. Conjunto de variáveis em termo. Conjunto de fórmulas ou linguagem. Abreviaturas. Conjunto de variáveis livres em fórmula.