【摘 要】
:
分析了归纳推理与演绎推理的区别,给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合ε
论文部分内容阅读
分析了归纳推理与演绎推理的区别,给出了归纳推理的形式化规则,定义了重构和归纳进程(序列)的概念.同时还给出了一个产生归纳序列的归纳过程模式,并证明:若已知模型M的全体实例集合εM,则可以从任一给定的理论出发,使用此归纳过程模式所产生的所有归纳序列都收敛于同一极限,这个极限就是模型M的全部真语句.这说明了归纳推理规则的合理性.
其他文献
元明清三朝是我国古代戏剧、话本和小说发展的高峰期,叙事文学逐渐成熟。元明清戏剧中的爱情故事是其表现的重要内容之一,这些故事虽然大体上有相似之处,但在元与清两个朝代
目的考察注射用氨曲南与阿奇霉素在转化糖注射液中的配伍稳定性,为临床合理用药提供科学依据。方法采用HPLC法测定注射用氨曲南与阿奇霉素在转化糖注射液中配伍后8 h内的含量
文字的不发达造成了中国古代神话的大量散失;作为神话的载体的宗教——巫术的衰落中断了神话的继续发展;被后世作者人为的历史化、哲学化又进一步削弱了神话的影响力。以上种
1.“黄海1号”是经国家水产原良种审定委员会审定的中国对虾养殖新品种,目前已有其遗传结构变异方面的调查,但对其体型特征尚未作系统研究。本试验对中国对虾“黄海1号”人工
该文针对十字型阵列配置下的单基地MIMO雷达2维空间角度估计问题,提出一种基于ESPRIT算法的降维DOA估计算法。算法通过降维矩阵的设计及回波数据的降维变换,将高维回波数据转
追溯中国思想史的源头,儒家传统讲究"内圣外王"。社会史的演变历程更是证明,小人多才、君子无才亦是一种普遍的现象,而德与才很难合一。德才之辨,是传统中国士大夫的古老命题
目的观察丙泊酚分步靶控输注对腹腔镜胆囊切除术患者全身麻醉诱导插管过程血流动力学的影响。方法选择42例ASAⅠ~Ⅱ级行择期腹腔镜胆囊切除术患者,随机分为实验组(T组)和对照
CT误诊高密度肾囊肿一例葛立肾囊肿CT扫描呈高密度时易误诊。笔者报告一例将囊肿误诊为结石。患者男,44岁。左腰背痛半年。体检:双肾未及,左肾区叩痛。腹平片和静脉肾盂造影无异常,尿检
文学作品中话语含义的表达方式多种多样,不同的表达方式反映出写作者不一样的语言特点。本文试图通过寻找张悦然话语意义的表达特点,分析张悦然文学语言的特色。通过语言形式
在二氧化碳饱和水溶液中,对于[OH-]和[CO32-]的浓度大小,很多参考资料说法不一,用定性的方法难以判断,本文试从定量的角度求出在不同温度下[OH-]和[CO32-]的浓度,继而解决了