首页 >
形式语义学
✍ dations ◷ 2024-11-05 16:28:30 #形式语义学
在计算理论中,形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学(formal semantics),是程序设计理论的组成部分,以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。提供程序设计语言的形式语义的方法很多,其中主要类别有:
相关
- 弗雷德里克·格兰特·班廷弗雷德里克·格兰特·班廷爵士,KBE,MC,FRS,FRSC(英语:Sir Frederick Grant Banting,1891年11月14日-1941年2月21日)是加拿大一位杰出的医学家和诺贝尔生理学或医学奖获得者。班廷是在
- 世界气象组织世界气象组织(英语:World Meteorological Organization,缩写:WMO;法语:L'Organisation météorologique mondiale,缩写:OMM;世界语:Monda Organizaĵo pri Meteologio,缩写:MOM)是联合国
- 肝胆肠胃科胃肠学(英语:Gastroenterology,又称为肠胃病学)是医学的一个分枝,专门研究消化系统(从口腔到肛门的消化道)及相关疾病。
- GAP良好农业规范 (Good Agricultural Practices, GAP)的一套用于农业生产且生产结果与执行者利益相一致的操作规范。对于由哪些方法组成“良好农业规范”,有着很多不同的定义。
- 西半球西半球是地球上本初子午线以西,180度经线以东的半球。由于欧洲及非洲的西部在西经,为避免被本初子午线分割,西半球及东半球的分界线有时也被定义为西经20°及东经160°。依照此
- 严重急性呼吸道综合征相关冠状病毒严重急性呼吸道综合征相关冠状病毒(英语:Severe acute respiratory syndrome-related coronavirus),简称SARS相关冠状病毒(SARSr-CoV),是冠状病毒科乙型冠状病毒属(英语:Betacoronavi
- 颈动脉在解剖学中,总颈动脉是负责供应头颈部充氧血最主要的动脉,左总颈动脉直接由主动脉发出,右总颈动脉由头臂动脉干发出。二者在颈部时分叉为外颈动脉和内颈动脉。左和右总颈动脉位
- 女性生殖器官女性生殖系统是由人类女性的生殖器官组成的系统。可分成内生殖器官和外生殖器官,分别指生殖系统在体内不可见的部分和体外可见的部分。人类女性的生殖系统在出生时尚未发育成
- 视盲失明,俗称盲或者瞎,是指由生理或心理原因引发的人体视知觉缺陷。目前对于视觉丧失的程度有多种度量标准,而失明也有许多种定义。完全失明是指人体彻底丧失对于形状和可见光的感
- 肺性心脏病肺性心即肺性心脏病(cor pulmonale,CP),是肺的疾病引起肺循环障碍,导致肺动脉压亢进,造成右心室肥大扩张的状态。会出现发绀、颈静脉充血、水肿等症状。