首页 >
公理语义学
✍ dations ◷ 2025-03-04 00:55:58 #公理语义学
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。公理语义学的一个实例是霍尔逻辑。
相关
- 寄生虫学寄生虫学是一门研究寄生虫与其宿主和两者之间关系的科学。寄生虫学属于生物学的范畴,寄生虫学不仅仅是厘清这些生物和环境之间的问题,还包括了他们生存的方式。这意思著寄生虫
- CYP2C91OG2, 1OG5, 1R9O, 4NZ2· iron ion binding · drug binding · arachidonic acid epoxygenase activity · steroid hydroxylase activity · oxidoreductase activit
- 副黏液病毒亚科副黏液病毒亚科(Paramyxovirinae),属于副黏液病毒科,包括:
- 伊拉克战争伊拉克 (复兴党政权) 阿拉伯复兴社会党-伊拉克地区 Supreme Command for Jihad and Liberation 纳克什班迪教团军 Tanzim Qaidat al-Jihad fi Bilad al-Rafidayn Islamic Sta
- 咖啡豆咖啡豆是咖啡属植物的种子,咖啡属植物的果实大小类似樱桃,咖啡豆即为其中的核果。将咖啡豆烘焙加工后再磨碎成咖啡粉,即可烹制咖啡。两个主要的经济品种分别是阿拉比卡种,市占率
- 再处理核燃料后处理技术原指用化学分离和纯化的方法从经过辐照的核燃料中分离可裂变的钚同位素。 但现代核燃料后处理已不仅仅着重于回收钚,还可以分离其它有用的元素,比如铀、甚至
- 希腊化时代的希腊希腊化时代的希腊是指古希腊核心—希腊半岛在希腊化的时期,起始点从前323年亚历山大大帝逝世到前146年被罗马并吞为止,尽管之后被罗马占领,古希腊的文学、艺术、建筑、文化甚至
- 帕纳雷阿岛帕纳雷阿岛(Panarea)是西西里岛以北的火山岛岛链,伊奥利亚群岛8个岛中面积第2小的岛屿(仅大于巴西卢佐岛)。岛上常住人口约280人,但是在夏季,随着游客大量涌入,人口会戏剧性增长。近
- 白髓白髓,亦作白脾髓,是脾脏的一部分,与红脾髓一起构成脾脏的主要部分。白脾髓由马耳皮基氏脾小结及马耳皮基氏小体等腺体组织构成,外貌呈球型,包裹着小动脉。它的主要功能则为对抗外
- 日日语书写系统汉字假名使用罗马字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书