一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程。     

笑谈鼠“功”

十二生肖鼠为首。余朝思暮想，很为子“先生”过街也受惩而鸣不平，如不幸屈死，此文谨供其生前友好共赏。世人皆清我浊浊，不论正面的评价或作反面的教材，都是“天生鼠材必有用”的。现归纳如下：     

消费者即时维权应掌握的常识

我们在消费中,当权益受到侵害后,一般都会找商家交涉和理赔;若交涉未果,就会选择通过法律手段去维权。但有些消费者特别是老年消费者多因准备不足而费尽周折,有的还贻误了本可维权的时机。为了使损害的权益得到即时维护,笔者根据相关法规,归纳整理     

休谟问题及其效应

自从休谟提出休谟问题以来,如何理解和解决休谟问题向哲学家们提出了挑战。休谟问题在休谟那里表现为因果问题,即因果联系的必然性问题。休谟的因果问题直接引发了康德的哲学思考,被改造、转换为康德问题。在康德看来,包括因果范畴在内的先天形式作用于经验现象,就形成了普遍必然的科学知识。于是,休谟问题成了知识的可能性问题。休谟的因果问题包含着引申出归纳问题的可能性,因此现代经验主义者和批判理性主义者把休谟对因果联系必然性的质疑转换成对归纳推理的合理性和可靠性的质疑。正确解决休谟问题的方法论原则是:正确地理解休谟问题;运用辩证思维;坚持实践观点。     

归纳逻辑与认识论

认识论是西方古典归纳逻辑的理论基础。在逻辑史上不论是归纳派还是反归纳派,他们的逻辑思想和认识论都是紧密联系的。现代归纳逻辑把概率方法引进来,极大地推动了归纳逻辑的发展,但从认识论的角度看,概率演算再精确,改变不了它为之服务的归纳逻辑具有概然性的特征,但可提高其概然度即可靠性。     

金岳霖的归纳原则辨析

归纳原则在金岳霖的知识论中占有重要地位。金岳霖对归纳原则的看法明显受到休谟与罗素的影响,但他也有自已独特的思考。他在《知识论》中讨论了归纳原则,并认为归纳原则是永真的,这一结论不同于休谟与罗素对归纳原则的看法。本文对金岳霖的归纳原则进行分析,并对其略作评论。本文有两点他人尚未论及,一是指出了《知识论》中一个公式的错误;二是对金岳霖的归纳原则给出了一个形式的证明,并据此发现其论证不能成立。     

《说文解字》“彳”“辵”两部声符相同字的交叉联系

在形声字中,义符表意,声符表音,如果声符相同,义符又相近,那么它们之间的词义也是存在联系的,文章便从"彳""辵"两部字出发,尝试着对它们之间的联系进行归纳分类。     

倒装句用法总结解析

本文通过对倒装句知识点和考点的归纳,结合高考真题,以便英语学习者能够掌握倒装句的用法,从而更好地备战高考.     

欠发达县市人才队伍建设的思考

一、欠发达县市人才队伍建设存在的主要问题通过对不少欠发达县市的考察不难发现,无论从哪个方面、哪种角度,欠发达县市的人才队伍建设状况都不容乐观.归纳起来,欠发达县市人才队伍建设工作主要存在以下问题:人才总量不足,人才数量增长缓慢;人才队伍整体素质不高,高级人才偏少,行业、区域分布不尽合理;人才对经济增长的贡献率低,人才浪费现象不同程度地存在;人才流失比较严重;农村实用人才开发难.     

如何加深对历史知识的记忆

许多历史知识需要记忆,有好的记忆方法,就能收到事半功倍的效果。历史知识虽然繁多而复杂,但是我们可以找出它们的规律进行记忆。历史知识的记忆法很多,综合地运用记忆方法,我们的历史思维会更加明朗,更加智慧,学习历史的能力也就一定能得到提高。