形式语义学

✍ dations ◷ 2025-08-07 06:37:08 #形式语义学
在计算理论中,形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。提供程序设计语言的形式语义的方法很多,其中主要类别有:

相关

  • 坟场坟场(cemetery、graveyard)是死者遗体以及火葬遗物如骨灰所埋葬的地方。英文中的“cemetery”来源于希腊文κοιμητήριον,意为“睡觉的场所”。该词暗示此地块专用作
  • 新美鞭菌门新美鞭菌门是厌氧性真菌的一门,发现于食草动物的消化道中。它只包括一纲、一目、一科,目前已知6属。新美鞭菌门的真菌为Orpin于1975年首次根据绵羊的瘤胃中发现的运动细胞所描
  • 戴奥辛
  • 澳大拉西亚澳大拉西亚(拉丁语:Australasia)一般指大洋洲的一个地区,如澳大利亚、新西兰和邻近的太平洋岛屿。澳大拉西亚(Australasia)一词是由法国学者布罗塞(法语:Charles de Brosses)于1756年
  • 番鸭疣鼻栖鸭(学名:Cairina moschata),俗称麝香鸭、红面鸭、番鸭、姜母鸭,原产中、南美洲。最大特征为脸处有红色肉疣,故称红面鸭,黑色番鸭于荷西时期引进台湾,白色番鸭则于1962年起引进
  • 古代殖民地古代殖民地是指古代地中海地区的文明建立的海外殖民地,大多是与母城邦(metropolis,英语中大都市一词即来源于此)领土不接壤的殖民城邦的形式。殖民城市与母城市之间的联系依然十
  • 下院下议院或众议院,是两院制国家或自治地区议会的议院之一。在民主国家,众议院的议员人数大多按各地人口比例的多少来分配的。众议院在各国称谓各有不同:例如英国、加拿大所称“平
  • Dysgeusia味觉障碍(英语:Dysgeusia)指的是味觉的扭曲或失真。味觉障碍通常与丧失味觉(英语:ageusia)、味觉迟钝(英语:hypogeusia)有关。味觉障碍可能是某个疾病的主要症状或次要症状。
  • 周围血管疾病周边动脉疾病(Peripheral artery disease, PAD),可以称为周边血管疾病(Peripheral vascular disease, PVD)、周边动脉阻塞性疾病(Peripheral artery occlusive disease, PAOD),或是
  • 传统逻辑传统逻辑,也叫做词项逻辑,是关于亚里士多德(公元前384年—前322年)所开创的传统逻辑学的宽松的术语,并有幸的没有经历广泛的改变,直到十九世纪末出现了谓词逻辑。有时很难理解在弗