查询词典 semantics

axiomatic semantics：公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

axiomatic semantics：公理化语义

axiom scheme 公理模式 | axiomatic semantics 公理化语义 | b box 基址寄存器

common sense semantics：常识语意学

commissive 许诺[语行] | common sense semantics 常识语意学 | Communication Theory 通讯理论 [通讯论;信息论]

generative semantics：生成语义学

1963年,美国语言学家福德尔和卡茨开始利用这些方法进行语义特征的形式描写并由此为兴起的不久的生成语义学(generative semantics)提供了崭新的分析路径,促使其发展成为一个比较完整的语言学理论体系[4].

cartographic semantics：地图语义

地图语言 cartographic language | 地图语义 cartographic semantics | 地图语义 cartographic semantics

Syntactic Semantics：句法语义学

语义场 semantic field | 句法语义学 syntactic semantics | 成分语义学 compositional semantics

denotational semantics：標誌語意

標誌描述 denotational description | 標誌語意 denotational semantics | 標誌語意語言 Denotational Semantics Language

denotational semantics：指称语义

依赖图 dependency graph | 指称语义 denotational semantics | 公理语义 axiomatic semantics

Denotational Semantics Language：標誌語意語言

標誌語意 denotational semantics | 標誌語意語言 Denotational Semantics Language | 標誌語意方法 denotational semantics method

denotational semantics method：標誌語意方法

標誌語意語言 Denotational Semantics Language | 標誌語意方法 denotational semantics method | 標誌設定 denotational setting

Jaycee：房祖名

房祖名(Jaycee)投资六位数字代理薄荷糖,前晚於中环某酒吧举行庆祝派对,成龙大哥现身撑爱子场,引起一阵混乱,可惜成龙大哥一到场即急步进场,之后又走后门离去,整晚显得十分低调.

basement complex：基盘岩群;基盘杂岩

"基盘","basement" | "基盘岩群;基盘杂岩","basement complex" | "基盘岩石","basement rock"