语义学

语义学semantics，研究自然语言中词语意义的学科。也可以指对逻辑形式系统中符号解释的研究。发展趋势是两者汇流，相得益彰。语义学有以下5个分支。①哲学语义学。这是哲学家对自然语言的语义的研究，围绕着什么是意义...

所属分类： 学科名 数学术语 计算机术语 计算机编程 语言学

优选语义学

优选语义学 正文　　用于自动翻译的一种语义学理论，英国人工智能专家...语义学　　根据义式, drink 的意义可以这样理解: 这是一个动作...)用时的义式的首部。 优选语义学　　第1个序列不能组成裸模板，因为它的N1...

普通语义学

普通语义学 正文　　现代西方哲学流派之一。形成于20世纪30年代...和行动的影响。他们建立了普通语义学研究所、国际普通语义学会，主办了《普通语义学报》和《等等：普通语义学评论》。 　　普通语义学家们把人类所处的世界...

所属分类： 语言学

形式语义学

形式语义学 正文　　程序设计理论的组成部分。它以数学为工具，运用符号和公式，严格地定义程序设计语言的语义，使语义形式化，故称形式语义学。程序...产生了形式语义学，形式语义学的研究始于60年代初期,在程序设计语言...

所属分类： 形式方法 计算机术语

指称语义学

指称语义学 正文　　形式语义学的一个分支。人们用程序设计语言编制...的执行过程可以不同，但最终效果应该相同。指称语义学方法认为不应该将程序...是语言成分的所指，称作为语言成分的指称物。这种语义学以语言成分的指称物作为...

公理语义学

公理语义学 正文　　形式语义学的一个分支。不同的人在了解程序的含义时有不同的要求。公理语义学方法就是研究如何将这些不同的要求形式化，并根据这些...语言的语义。1975年荷兰E.W.戴克斯特拉提出基于最弱前置条件的公理语义学...

操作语义学

操作语义学 正文　　形式语义学的一个分支。程序设计语言的实施是在具体...定的计算机和一种具体的实施，因此操作语义学是用解释执行程序的抽象的机器来定义语言的语义。 　　历史和发展 　操作语义学的基本思想来源于程序设计语言...

产品语义学

概述 产品语义学（Product Semantics）则是研究产品...工业设计师协会（IDSA）所举办的“产品语义学研讨会”中予以定义：产品语义学...目的以外，还要透过其语义特征来传达产品的文化内涵，体现特定社会的时代感和...

代数语义学

代数语义学 正文　　形式语义学的一个分支，用代数方法研究计算机语言...这种代数结构的性质来证明用该语言编写的程序的正确性。 　　代数语义学始于对...结构的代数语义学。 　　基调和Σ代数 　用S 表示由一组称为类子的元素构成...

《语义学引论》

语义学引论 内容简介《语义学引论》一书分为四个部分，第一部分“背景知识”（第一章）介绍语义学的若干基本概念，后面三个部分“词汇意义”（第二章到...。 语义学引论 本书目录王宗炎序 导读 第一章 语义学的元语言 第二章 作为...

搜索语义学相关的维吧

1[2][3][4][5]下一页最后一页