首页 >
公理语义学
✍ dations ◷ 2025-04-03 10:46:35 #公理语义学
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。公理语义学的一个实例是霍尔逻辑。
相关
- 义位义位(英语:Sememe)是语义学中能够独立存在、运用的最小意义单位。义位是形成语义场的核心。义位可以是一个语素所表达的语义,比如英语的复数语素-s ,对应的义位即其语义为;也可以
- 喂母乳母乳哺育(Breastfeeding),亦称哺乳、授乳或母乳喂养,指的是女性以乳房喂食婴儿母乳的行为。婴儿有吮吸反射,因此可以吮吸乳房并吞咽母乳,专家建议在出生后一小时即可哺喂母乳,之后
- STST节段(ST segment)为心电图学术语,表示QRS复合波(英语:QRS complex)至T波之间的间期,一般介于 0.005 至 0.150 秒之间(5 至 150 毫秒)。ST节段始于J点(英语:J-point)(即QRS复合波的终点),
- 一氧化二氮一氧化二氮或氧化亚氮(英语:Nitrous oxide),无色有甜味气体,又称笑气,是一种氧化剂,化学式N2O,在一定条件下能支持燃烧,但在室温下稳定,有轻微麻醉作用,其麻醉作用于1799年由英国化学家
- 黄酮黄酮类化合物(英语:Flavonoid,又称类黄酮)基于2-苯基色原酮-4-酮(2-苯基-1-苯并吡喃(英语:Benzopyran)-4-酮)骨架的黄酮类化合物,如右图所示,基本母核为2-苯基色原酮类化合物,现在则泛指
- 萨洛 (塔拉戈纳省)萨洛(加泰罗尼亚语:Salou),是西班牙加泰罗尼亚塔拉戈纳省的一个市镇。总面积15平方公里,总人口14164人(2001年),人口密度944人/平方公里。
- 解放犹太解放运动(英语:Jewish emancipation)是欧洲犹太人权利自18世纪起从外在和内在同时争取的这一进程。包括同等公民权利的认定,以及个人公民身份的授予等。成果来自于社区内的
- 模式模式(英语:Pattern,源自法语:patron),在物体或事件上,产生的一种规律变化与自我重复的样式之过程。在模式之中,某些固定的元素不断以可预测的方式周期性重现。最基本而常见的模式,称
- 乔治·贝克莱乔治·贝克莱(英语:George Berkeley,1685年3月12日-1753年1月14日),著名英裔爱尔兰哲学家,同时为圣公会驻爱尔兰科克郡克洛因镇的主教,与约翰·洛克和大卫·休谟被认为是英国近代经
- 卟啉病卟啉症(英语:Porphyria,又称噗瑳症、紫质症或吡咯卟啉症),是因卟啉堆积而引起的一系列疾病,会对皮肤及神经系统造成负面影响。影响神经系统的这一类卟啉症,症状发作十分迅速,持续时