论文部分内容阅读
指出数学不是建立在集合论之上,而是建立在人类计数实践之上.经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的.为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用:二层单准Prolog的操作语义和指称语义.
互逆主义数学哲学与计算
【摘 要】
：
指出数学不是建立在集合论之上,而是建立在人类计数实践之上.经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的.为说
【机 构】
：
北京联合大学信息技术研究所
【出 处】
：
北京联合大学学报：自然科学版
【发表日期】
：
2005年2期
【基金项目】
：
北京市建设学科研究基金
其他文献
目的调查医学院校大学生就业前的心理状态,为医学院校大学生就业前心理卫生工作提供依据。方法采用症状自评量表（SCL-90）对某医学院校已经就业的大学生在就业合同签订前、后的
Butterworth小波具有良好的性质（对称性、插值性和消失矩）。引入双正交小波的一般概念，并给出一个适用的充分条件，根据这一条件构造出一类双正交小波，它们不仅具有Butterworth小波
目的检测非小细胞肺癌患者的表皮生长因子受体（EGFR）基因外显子的突变情况。方法收集24例肺腺癌和25例肺鳞癌手术标本,抽提组织DNA,对EGFR基因的1-28号外显子进行扩增并测序,筛
运用里滋法研究了复合材料正交层合薄壳固化变形。考虑几何非线性，建立了固化变形分析模型。探讨了不同铺层顺序对固化形状的影响。理论和实验结果吻合较好。基于理论模型的计
回顾大学生实践创新训练计划项目提出和发展的过程,在大众创业、万众创新的背景下,该项目不断向以创业为重心进行转移。面对就业难的现实,大创项目是高等教育实践不足的有益
为了激发学生学习医学免疫学实验课的兴趣,提高学生的动手能力、创新能力和科研思维能力,新乡医学院免疫学教研室从优化师资队伍、调整教学结构、合理应用现代化教学手段和积
以曲拉通100作表面活性剂，用超声波法制备了球形度较好、平均粒径为10μm的球形Li3PO4。以球形Li3PO4为前驱体制备了部分球形的LiFePO4，并对其电化学性能进行了研究。由该法制
目的：研究东亚钳蝎提取物对戊四氮致痫小鼠发作潜伏期的作用并探讨其机理。方法：采用戊四氮致痫小鼠模型，给予实验动物东亚钳蝎提取物灌胃，并以丙戊酸钠为对照，观察其对致痫小鼠发