2019: Relatório em resultados

"A semântica de um sistema formal computável separa aquela parte que pode ser verificada mecanicamente, da outra, incomputável. Também são conhecidas como semântica estática e semântica dinâmica. O alcance semântico de um computador pode ser estabelecido, mecanicamente, na parte estática. A semântica dinâmica é estabelecida por um "oráculo", responsável, decisivamente, pelo comportamento não-mecânico" (GEMS, 2019).

Aprendizado e crescimento: linguagens formais

Palavras-chave: código em cruzamento, semântica denotacional, processo científico, mundos possíveis, sistema formal, alcance, lógica, ciência

English: semantic range

GEMS Grupo de Estudos em Modelagem de Software | Pesquisa de ambientes de aprendizagem para a Computação. Disponível em < http://blog.pucsp.br/gems/ >. Acesso em 9 abr. 2017.

-- GregorioIvanoff - 28 Sep 2019
to top