英语词汇“Logical Relations”是什么意思，翻译、用法及简单造句-英汉双解词典-英汉网

网站首页英汉词典

　

单词	Logical Relations
释义	Logical Relations 原声例句笑 How, indeed, should it come about that this particular logical relation, as soon as it is perceived, contracts, expands and shakes our limbs, whilst all other relations leave the body unaffected? 事实上，这种特殊的逻辑关系一旦被感知到，就会收缩、扩张和摇晃我们的四肢，而所有其他关系却不受影响，这是怎么回事呢？英语百科 Logical relations Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. To describe the process, let us denote the two semantics by $[\![-]\!]_i$ , $i=1,2$ . For each type $A$ , we associate a particular relation $a\sim b$ between $[\![A]\!]_1$ and $[\![A]\!]_2$ . We define this relation such that for all program phrase $M$ , the two denotations are related: $[\![M]\!]_1 \sim [\![M]\!]_2$ . Another property of this relation is that related denotations for ground types are equivalent in some sense, usually equal. The conclusion is then that both denotations exhibit equivalent behavior on ground terms, hence are equivalent.
随便看	matrisib的意思 matrisibs的意思 Matrisil的意思 matriss的意思 matrist的意思 Matristic的意思 matrists的意思 matrium alginicum的意思 matriv potential的意思 matrix的意思 matrix acidizing的意思 matrix adder的意思 Matrix addition的意思 matrix additions的意思 matrix address的意思 matrix addressed display的意思 matrix addressing的意思 matrix adjacency的意思 matrix, adjacency的意思 matrix algebra的意思 matrix algebra的意思 matrix algebra table的意思 matrix algebra tableau的意思 matrix algorithm的意思 matrix alloy的意思

　

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间：2025/6/18 9:27:55