公理语义学

✍ dations ◷ 2025-08-08 03:12:08 #公理语义学
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。公理语义学的一个实例是霍尔逻辑。

相关

  • 螺旋菌螺旋菌(英语:Spiral bacteria)系按形态分出的一种细菌种类。其种类次于球菌、杆菌,在细菌家族中位列第三。。螺旋超过一周的螺旋菌被称为螺旋菌,而不满一周的则被称为弧菌。另外,
  • 吞咽痛吞咽痛 (odynophagia、/oʊ-dɪnˈə-feɪˈjəˌ-jiː-ə/;由 odyno "痛" + -phagō "吞咽") 指当吞咽时所产生的痛感。 可能在口腔或咽喉部感觉到疼痛,而且吞咽障碍可能会或
  • 诺贝尔物理学奖诺贝尔物理学奖(瑞典语:Nobelpriset i fysik)是瑞典皇家科学院为表彰在物理学作出最杰出的贡献,自1901年起一年一度颁发的奖项;奖金由诺贝尔基金会发出。奖项是阿尔弗雷德·诺贝
  • 来经月经(英语:menstruation, period, monthly,古代叫做癸水,俗称姨妈到、好朋友、大姨妈、来M等),是指女性血液或黏膜定期从子宫内膜经阴道排出体外的现象。高达80%女性曾表示在月经
  • 生殖繁殖,或生殖,是透过生物的方法制造生物个体的过程。繁殖是所有生命都有的基本现象之一。每个现存的个体都是上一代繁殖所得来的结果。已知的繁殖方法可分为两大类:有性生殖以及
  • 一水合氨氨水指氨气的水溶液,可写作NH3 (aq)、NH4OH或NH3·H2O。它是有强烈刺鼻气味、具弱碱性的液体。氨水中,氨气分子发生微弱水解生成氢氧根离子及铵根离子。“氢氧化铵”事实上并
  • 维生素D维他命D也称抗佝偻病维他命,是一类脂溶性维他命,属类固醇化合物。在人类所需的维他命中,维他命D非常特殊,是一种激素的前体,而且人一天只要暴露在阳光下10分钟,人体自身即可合成足
  • 药用洗发水洗发露(又称香波、洗发露、洗发水、洗发液或洗头膏,粤语称洗頭水),是用在头发上的清洁剂。能去除灰尘、油脂、头皮屑等脏物,并对头发表面进行调理以改善外观。香波的名字来自印地
  • 瓦维尔山瓦维尔山(波兰语:Wawel,或 Wzgórze wawelskie)是波兰城市克拉科夫中位于维斯瓦河左岸的一座石灰岩小山,紧邻克拉科夫旧城区,海拔228米。自旧石器时代起,山上就有人类居住。山上坐
  • 匈牙利语匈牙利语,又称马扎尔语(匈牙利语:magyar),是一种乌拉尔语系芬兰-乌戈尔语族乌戈尔语支的语言,为马扎尔人的语言。使用者主要分布在匈牙利,是该国的官方语言,也是欧盟24个官方语言之