论文部分内容阅读
将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
含等词的超表演算
【摘 要】
：
将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回溯, 是用表演算完成含等词的一阶逻
【机 构】
：
吉林大学,吉林大学
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2005年4期
【基金项目】
：
国家自然科学基金，吉林省杰出青年科学基金
其他文献
<正> 我们于1987～1989年12月,以氟哌酸治疗沙门菌肠炎113例,同时以吡哌酸治疗151例作为对照,获得较为满意疗效。现将治疗结果报告如下。观察方法临床资料氟吸酸治疗组113例。
采用二维9速度Lattice Boltzmann模型，数值模拟流体流过矩形截面柱体的绕流问题．在边界处，采用二阶精度的插值边界处理方法，计算了流动的Strouhal数及柱体受到的升力和阻力系数，给
【正】各县(市、区)人民政府,市人民政府各部门,各有关单位:《郑州市公共租赁住房暂行管理办法》已经市人民政府第30次常务会议研究通过,现印发给你们,请认真贯彻执行。
针对传统呼叫指纹算法在实际应用中识别准确率低、识别对象局限性大、识别时间长等问题,在Hausdorff距离的基础上提出一种新的匹配算法,从而提高了重入网用户识别的精度,扩大了识别对象的适用范围.
<正> 1987年5月25日～6月20日,吉林省白城市某部驻军大院内暴发原因不明的水样腹泻,疫情来势猛、波及面广、病例分散。为查明其病原,采取有效的防疫对策,我们深入现场进行了调
【正】郑政办文[2010]51号二○一○年六月一日各县(市、区)人民政府,市人民政府各部门,各有关单位:为进一步提高我市各级行政机关依法行政的能力和意识,规范各类行政行为,推
<正> 膀胱肿瘤是泌尿系统最常见的肿瘤,分上皮细胞性和非上皮细胞性两大类。上皮细胞性肿瘤占98%以上,且以乳头状瘤和乳头状癌最为常见,鳞癌和腺癌少见。膀胱癌多发生于男性,
写作能力是怎样逐步培养出来的呢？下面笔者分三个层面来说。第一个层面是要有必要的积累。这个积累又包括两个方面。其一，词汇，有些作文较差的学生词汇不丰，想说的意思表达不出来
以柳叶菜心为研究对象,测试了不同干旱条件下的土壤含水量、空气温湿度和冠层温度等参数,确定了作物缺水指数经验模型的参数,并针对太阳辐射强度对模型做了改进.研制了蔬菜旱