在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
axiomatic semantics
美：
[ˌæksɪəˈmætɪk sɪˈmæntɪks]查词链接：https://www.dute.org/dict/axiomatic_semantics复制链接 [数] 公理语义学；[数] 公理化语义
查看英英释义
abstract:
Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.
网络释义
公理化语义
本文中提出这一语言的两种语义,指称语义(Denotational Semantics)和公理化语义(Axiomatic Semantics)。但这两个语义中都回避了语言可能具有的某些不确定性,这一问题将留待以后解决。
公理语义
公理语义（Axiomatic Semantics） 公理语义是根据数学中的公理化方法形式化程序设计语言相关语法的语义。
公理语义学
...，1980 年图灵奖获得者)已经在对一阶谓 词演算扩充了一组公理和一组推导规则的情况下建立起了 公理语义学 ( axiomatic semantics )作 为程序设计语言语义形式化的一种方法，并曾被成功地用来描述Pascal 等语言。但 公理语义学 是不完备的。
公理语意学
... 公理复杂性 axiomatic complexity 公理语意学 axiomatic semantics 轴 axis ...
常用短语
- axiomatic semantics approach公理语义学方法
- axiomatic c semantics公理化语义
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}