语义学，语义学,yuyixue，语义学,yuyixue，[拼音]：yuyixue[外文]：semantics既可以指对自然语言中词语意义的研究，也可以指对逻辑形式系统中符号解释的研究。前一类研究历来在哲学和语言学两个领域中交叉进行，后一类研究有人称为纯语义学，主要在逻辑学领域中进行，但其中大量概念和方法都已引入自然语言语义研究。当前的发展...
代数语义学，代数语义学,daishu yuyixue，语义学,代数,yuyixue,daishu，[拼音]：daishu yuyixue[外文]：algebraic semantics形式语义学的一个分支，用代数方法研究计算机语言的语义。它把计算机语言形式地定义为满足某种公理体系的抽象代数结构，然后利用这种代数结构的性质来证明用该语言编写...
指称语义学，指称语义学,zhicheng yuyixue，语义学,指称,yuyixue,zhicheng，[拼音]：zhicheng yuyixue[外文]：denotational semantics形式语义学的一个分支。人们用程序设计语言编制程序，命令计算机系统去加工数据。不同的计算机系统有不同的结构，因此对同一个命令的执行过程可以不...