论文部分内容阅读
G(o)del语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言.本文基于类型一阶谓词逻辑的模型论,阐明了G(o)del语言的说明性语义,为该语言的实现模型奠定了一定的理论基础.
G(o)del语言的说明性语义简述
【摘 要】
：
G(o)del语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言.本文基于类型一阶谓词逻辑的模型论,阐明了G(o)del语言的说明性语义,为该语言的实现模型奠定了一定的
【机 构】
：
厦门大学
【出 处】
：
福建电脑
【发表日期】
：
2004年期
其他文献
目的探讨载文作者、机构、地区分布情况,了解科研人员合作类型及特点,确定核心著者、核心机构和核心地区.方法用文献计量学方法对该刊2001～2005年论文作者发文量、合作情况、
本文以"终身教育"的理论为基础,从高校图书馆在人类文化和思想交流中地位和作用、高校图书馆的社会教育职能、国民终身教育之现状、高校图书馆在国民终身教育中的职能四个方
目的:评价国产注射用利福平灭菌粉末(维夫欣)治疗肺结核病的临床有效性和安全性,并与相同进口制剂比较。方法:121例初治菌阳肺结核患者采用1∶1随机分组方法分为试验组和对照
本文通过研究现代测量技术在道路勘测设计中的应用,介绍了实现道路勘测设计内、外业作业一体化技术的软件开发方法及应用,论述了道路带状地形的数据采集与数字地面模型DTM构
目的通过检测胃腺癌组织中NF-κBp65、VEGF、Survivin的表达情况,探讨它们在胃腺癌发生发展过程中的作用以及相互作用关系。方法应用免疫组织化学SP法,检测73例胃癌组织及20
1生殖器官人乳头状瘤病毒(HPV)感染人乳头状瘤病毒(HPV)有100多种类型,其中有30多种可感染生殖器区域。大多数的HPV感染无症状、未被识别,或为亚临床感染。生殖器官HPV感染常
目的:探讨白细胞介素-6(IL-6)与冠心病(CHD)的关系。方法:采用双抗体夹心酶联免疫吸附反应法测定血浆IL-6浓度,检验急性冠状动脉综合征(ACS)组、稳定型心绞痛(SAP)组和对照组
目的将抗人P185erbB2scFv-Fc-IL-2融合蛋白(HFI)作用于人卵巢癌细胞株SKOV3细胞和人外周血单个核细胞(PBMC),通过体外实验阐明HFI调变肿瘤细胞表面分子和激活免疫效应细胞的