论文部分内容阅读
本文在文献「１」的基础上，给出一个一阶逻辑形式系统Ｋ；证明了Ｋ的限制概括规划和Ｋ演泽定理；证明Ｋ与文献「１」中的一阶逻辑形式系统Ｋ是等价的，通过比较Ｋ和Ｋ，说明Ｋ的有关元宣强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响。
关于一阶逻辑形式系统中概括规划的注记
【摘 要】
：
本文在文献「１」的基础上，给出一个一阶逻辑形式系统Ｋ；证明了Ｋ的限制概括规划和Ｋ演泽定理；证明Ｋ与文献「１」中的一阶逻辑形式系统Ｋ是等价的，通过比较Ｋ和Ｋ，说明Ｋ的有关元宣强于Ｋ的相应的元定理
【机 构】
：
数学及计算机系
【出 处】
：
江汉大学学报
【发表日期】
：
1996年6期
其他文献
目的：观察六味安消胶囊治疗慢性传输型便秘的临床疗效。方法：将86例本病患者随机分为治疗组和对照组各43例，治疗组服用六味安消胶囊，对照组服用莫沙必利，两组均连续治疗2周后进行
基于辽宁省22个气象站1960-2014年的逐月降水数据,选取标准化降水指数作为旱涝评价指标,对辽宁省55a间的气象干旱多尺度时间特征进行分析。结果表明:(1)辽宁省的降水情况呈现
目的：探讨中医综合疗法对单纯胫骨平台骨折的临床疗效。方法：回顾性随访分析48例经中医综合疗法治疗的单纯胫骨平台骨折。治疗方法包括手法复位、夹板固定、皮牵引、功能锻炼、
邓小平社会主义义利观是对中国传统义利观的批判与超越、对马克思主义义利观的继承与发展。其思想内涵体现在四个层面：社会主义辩证统一的义利观;社会主义市场经济是实现义利
目前国内外已有不少学者采用CA模型对城市用地扩展进行了研究,并取得了不少有意义的研究成果。基于上述现状,本次撰写的论文将在元胞自动机理论的支撑下,在Visual studio2013
文章探索了毛泽东同志关于我国社会主义经济建设的基本思想。他从中国国情出发,根据社会主义生产力和生产关系、经济基础和上层建筑又相适应又相矛盾的原理,提出了社会主义经
市场经济是以市场自身调节作为主要调节手段的一种经济形式。市场经济也是一种秩序经济，秩序的维持依靠的是市场经济自我的规则与道德。整顿和规范市场经济秩序，完善社会主义市
可持续增长是对现实中经济增长的挑战，这表明经济增长受到众多因素的制约，对某地区增长模型的分析佐证了这一认识。经济结构升级换代是区域可持续增长的关键。新古典理论通过外
描述一个以８０３１２单片微机为核心，用最少扩展电路构成的简易系统。该系统充分利用了单片微机强有力的功能及其软件的灵活性，用以完成汽车发动机的一般性起动试验及怠速试验。