AT07 Metateoremas e semântica
12 março 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da aula anterior. Regra da substituição da variável muda. Estrutura de interpretação sobre assinatura e atribuição. Denotação de termos e satisfação local de fórmulas.