Provar Invalidade

10 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

A semântica do Cálculo de Predicados.

Interpretação e expansão de fórmulas num domínio de objectos.