525
edits
Changes
Jump to navigation
Jump to search
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 11:19, 28 September 2020
, 11:19, 28 September 2020acrescentando video
* '''Estruturas de interpretação''' para uma assinatura de primeira ordem<!--
--><p>[VIDEO]{{#ev:youtube|QL_mxL3_QVg}}</p>
* '''Alocações de valores para os símbolos de variável''' sobre uma estrutura de interpretação<!--
--><p>[VIDEO]</p>
