古代希腊史学在哲学的影响之下,逐渐形成了理性批判精神.希腊历史学家正是以这种批判和自由探究的理性精神为思考基础,在本体论方面形成了人是历史活动的主体和历史发展有其
<正> 传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为
江泽民同志提出的"三个代表"重要思想,对我们牢固树立马克思主义新闻观具有重大现实意义和深远历史意义.为此,我们必须坚持新闻的党性原则,把握正确舆论导向,坚持"政治家办报
本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。
采用高稳系数法(HSC),对2009年河南省粳稻联合区试中的4个杂交粳稻新品种(系)进行了高产稳产性综合分析。结果表明,焦杂粳1号是聚合了高产稳产基因的优良杂交粳稻新品种(系);新粳优
研究了多智能体有向固定网络的一致性和H∞滤波器设计问题.为了便于滤波器设计,首先对系统模型进行了变换,进而构造了一致性H∞滤波器的形式,得到了保证多智能体渐近一致并满足H
创设教学情境,提供主动参与学习的空间,激发学习兴趣,诱导主动学习的欲望,提供讨论、训练机会,培养学生主动学习的意识
2016年10月3日,笔者由北京至河北保定顺平县白银坨采访梯子沟战役亲历者李登秀老人。山路难行,早晨八时出发,到达目的地已是下午五时。老人年近九十,已卧床多年。听说我们是来搜
随着时代的发展,果蔬低温贮藏保鲜产业已经成为衡量一个社会经济实力、科技水平与人民生活质量的重要标志之一,保鲜技术在我国农业生产领域具有越来越重要的作用。果蔬低温贮藏
对施佳乐40%悬浮剂在葡萄及土壤中的残留动态进行了测定。结果表明,施佳乐40%悬浮剂在葡萄叶片中半衰期为3-4d,10-12d可降解90%以上;在土壤中半衰期为4-6d,14-19d可降解90%以上。葡萄