首页 >
公理语义学
✍ dations ◷ 2024-11-05 17:22:06 #公理语义学
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。公理语义学的一个实例是霍尔逻辑。
相关
- 鼻病毒人类鼻病毒A (Human rhinovirus A) 人类鼻病毒B (Human rhinovirus B) 人类鼻病毒C (Human rhinovirus C)鼻病毒(学名:rhinovirus,rhino-是希腊文“鼻”的意思)是最常造成一般感
- 科学分类生物分类学(英语:biotaxonomy)通常直接称分类学(英语:taxonomy;法语:taxonomie;西班牙语:taxonomía),是一门研究生物类群间的异同程度,阐明生物间的亲缘关系、进化过程和发展规律的科学
- 婴儿死亡婴儿死亡率(英语:infant mortality rate,缩写为IMR)是指每1000名活产儿中在一岁前死亡的人口数。这个比率是衡量一个国家健康水平的指标。由于婴儿死亡率只统计一岁以下的数据,
- 乙醇乙醇(英语:Ethanol,结构简式: CH 3
- 库贾氏病克罗伊茨费尔特-雅各布病(英语:Creutzfeldt-Jakob disease,简称CJD),或称克-雅氏症、克-雅氏病、克雅二氏症、克雅二氏病、库雅氏症、库贾氏症、克雅氏症、克雅氏病,是一种发生在
- (8-)8-氨基喹啉是一种有机化合物,喹啉环上的8位被氨基取代。可用作医药中间体。8-氨基喹啉可在钴钼硫化物催化剂存在下,由氢气还原8-硝基喹啉得到。磷酸伯氨喹帕马喹他非诺喹
- 阿利亚阿利亚运动(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taam
- 荷尔蒙激素(英语:hormone)也音译作荷尔蒙或贺尔蒙,在希腊文原意为“兴奋活动”。激素是指体内的某一细胞、腺体或者器官所产生的可以影响机体内其他细胞活动的化学物质。仅需很小剂量
- 日本十进分类法日本十进分类法(にほんじっしんぶんるいほう、NDC),是日本参考杜威十进制图书分类法,所发展适用于日本国情的图书分类法。最初的版本为1928年发表的“和洋图书共用十进分类法案
- 大写高度在西文字体排印学中,大写字高(英语:Cap height)是指某种字体中,位于基线(baseline)以上的大写字母的高度。尤其指相对平顺的字母“H”和“I”的高度。因为圆型的字母“O”和尖形字