公理语义学

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

相关

  • 金刚烷胺金刚烷胺(英语:Amantadine,常用名金刚胺)是美国FDA所批准的抗病毒和抗帕金森病药。金刚乙胺与金刚烷胺有着相似的结构和性质。根据美国疾病控制与预防中心的数据,100%的季节性H3N
  • 叠氮氯霉素叠氮氯霉素(英语:Azidamfenicol)是一种酰胺醇类抗生素,其结构与氯霉素相似。叠氮氯霉素只能外用,其制品(如滴眼液、软膏等)用于治疗敏感细菌感染。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr
  • 性清洁性清洁(Sexual cleansing;kusasa fumbi)是一个非洲的部落传统宗教风俗,奉行于肯亚西部、赞比亚、马拉维、乌干达、坦桑尼亚、莫桑比克、安哥拉、科特迪瓦、刚果、尼日利亚,等非洲
  • 造血作用造血作用(英语:Haematopoiesis,其它拼法为haemopoiesis或hemopoiesis,在美式英语中也被拼作hematopoiesis;源自古希腊语中意为“血液”的词汇αἷμα以及意为“创造”的词汇πο
  • 德古西加巴特古西加尔巴(西班牙语:Tegucigalpa)是洪都拉斯的首都及第一大城,人口894,000(2006年),位在洪都拉斯中部,名为特古西加尔巴的山谷中,海拔975米。该名的意思是“银色的山”。特古西加
  • 一神教一神论或一神教(翻译自英语:monotheism;古希腊语:μόνος),意指认为只存在一个“囊括一切的神”的宗教和思想,《大英百科全书》的定义为“相信一位神的存在,或是相信神的唯一性”
  • 原发疫源地指示病例(英语:index case),又称为原发病例(英语:primary case),俗称零号病人或零号感染源(英语:patient zero),在流行病学调查中是指在一定人群中的最初的病例。指示病例可能表示疾病的
  • 恋童癖恋童是一种精神障碍,16岁以上的青少年或者成年人患者会认为青春期前的儿童拥有主要的性吸引力,或只有儿童才有性吸引力。虽然在10-12岁(女孩:10-11岁;男孩:11岁-12岁)之间儿童会开
  • 爱德华氏症候群参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):]]爱德华氏综合征(亦称18-三体综合征)是一种遗传疾病,是(所
  • 托里切利语族托里切利语族(Torricelli languages)是一个由大约五十个巴布亚新几内亚北岸的语言所组成的语族,这些语言的总使用人数只有约80,000人。此语族以托里切利山脉为名。托里切利语