极限证明初探

本文结合教学中正反两方面的例子,从理论上较深入地讨论了如何理解极限定义和掌握极限证明的方法,并回答了证明中可能出现的问题。     

世界统一于物质的证明是实践的证明

如何科学地解释世界的统一性问题,不仅表现在世界统一于什么的结论上,而且还表现在如何做出这一结论的证明方法上。恩格斯在《反杜林论》中指出:“世界的真正的统一性是在于它的物质性,而这种物质性不是魔术师的三两句话所能证明的,而是由哲学和自然科学的长期的和持续的发展来证明的。”这段论述不仅指出了辩证唯物主义在世界统一性问题上的正确结论,而且还指出了做出这一概括的正确的证明方法。     

行政诉讼证明标准多元化初探

借鉴他国经验,构建多元化行政诉讼证明标准是必要的;行政诉讼多元化证明标准的构建应考量行政案件的类型、证明的难易程度、行政决定的重要性和行政管理的特点等因素,结合具体行政行为的类型设计不同的证明标准。     

"不等式证明"方法初探

不等式证明是我们学习高中数学第二册上不等式一章必须面对的重要内容,与很多知识点都有着密切的联系,因此,它也是本章的难点之一。不等式证明除了课本介绍的比较法(比差,比商)、综合法、分析法和均值不等式法外,为了便于同学们梳理不等式的证明方法,针对具体问题具体分析,达到有的放矢,现归纳整理如下。     

世界现代史上限初探

目前,我国史学界一直把1971年作为世界现代史的开端。这种分期方法突出了十月革命的伟大国际意义。但是,笔者认为,把十月革命作为世界现代史的开端这种分期法值得深入探讨。世界现代史是世界通史不可分割的组成部分,所以对现代史进行分期,就应该从通史的角度出发,即从世界历史发展的全过程出发,全面地、联系地对世界历史各时期的社会形态,各社会形态中各阶段的世界主要矛盾和主要矛盾方面及其转化作具体分析,找出它们之间的内在联系,分析重大历史事件所处的历史环境。只有这样,     

世界生态旅游发展模式初探

生态旅游作为当今世界旅游业发展的热点,经过几十年的开发实践其在世界范围内基本形成了几种发展模式,这些模式因地制宜,各具特色,对于经济发展水平较低、生态旅游起步较晚,同时又对生态旅游寄于厚望的中国来说具有重要的借鉴和指导意义。     

才子佳人小说艺术世界初探

才子佳人小说作家用浪漫主义的艺术手法创造了一个理想国度，在那里青年男女没有父母之命、门第观念的约束，能够自己追求心目中的理想配偶；作品同时嵌入另外一个截然不同的世界：金钱与权力孪生兄弟般共同主宰着美专众生。在以“黄粱”求精神补偿的心理作用下，作家不约而同地选择了大团圆的结局。     

关于映射的理解,建立,证明初探

本文通过对映射的教学，从理解、建立映射及证明三方面作了一些有益的探讨，地初学者学习映射这一重要且基本的概念起很大的帮助作用。     

新形势下高校世界古代史教学初探

随着教育部对世界古代史课程的改革和调整,新形势下的世界古代史教学应坚持以人为本,加强马克思主义人学观教育;同时应以中国古史研究方法介入高校世界古代史教学。     

新形势下地方高校世界古代史教学初探

世界古代史是历史学的一个分支,主要探讨和揭示人类历史自原始、孤立、分散的人群发展为全世界成为一密切联系整体的过程。随着教学改革的不断深入,新形势下地方高校世界古代史教学存在诸多问题。在各个教学环节的改革实践中,只有强调以学生为核心,充分调动师生两方面的积极性,适应地方特色,才能切实提高教学质量和办学质量。     

Agent的主观世界理论框架初探

人工智能是在计算机科学、控制论、信息论、心理学、哲学、语言学等多种学科的基础上发展起来的,目前认知科学更多地被运用到了人工智能的研究当中.基于当代认知心理学的研究成果,提出了建立Agent主观世界的理论.     

有效证明

阿明读大四,眼看就要毕业了,还没谈个女朋友。室友多次怂恿他：“今年若再不找,大学怕是白读了!”阿明冥思苦想,终于心生一计：在校园网上打广告,拍卖自己的小家电。其实拍卖是假,借此吸引女孩子的眼球是真。     

延期证明

CAD在水利行业设计中成为了一个必不可少的工具,专业的水利制图软件价格昂贵,受企业的购买能力的限制,世面上销售CAD水利行业设计软件又不够专业使用上不够方面,本文通过作者的体会谈谈水利设计常用元素制作与调用,意在提高设计制图效益,供同行参考。     

巧用公式善解难题——运用柯西不等式证明一系列距离初探

在几何里曾经研究过点、直线、平面间的一些距离公式．这些公式也可利用柯西不等式来得到,有时还显得非常简洁。     

初探世界优秀体操运动员的体重范围

根据参加22届奥运会体操比赛和22届世界体操锦标赛的262名男运动员与256名女运动员的年龄、身高、体重等资料,用数理统计方法推算他们的体重范围。其结果是:上述两次比赛名次获得者及23届奥运会体操比赛的全能与单项前三名获得者中,男76.36％、女81.58％;其体重范围落在一元线性回归值(?)、减一个剩余标差Sy(即(?)-Sy～(?)+Sy)之间。我国参加世体操比赛的得名者,大部分人的体重也落在上述范围中。因此,我们认为用(?)-Sy～(?)+Sy推算出的体重范围值,可作为控制我国体操运动员的体重之参考。     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

世界历史上版图最大之帝国初探

古往今来世界上版图特大的帝国（王朝）有哪些，其中最大的是不是蒙古帝国——这是一个饶有兴趣并有待研究的问题。通过地图量算和文献研究，得知19世纪末20世纪初的大英帝国是世界历史上版图最大的帝国，1580-1640年的西班牙帝国是第二大的日不落帝国，19世纪中叶的俄罗斯帝国是欧亚美连成一片的第三大帝国，13—14世纪的蒙古帝国则是地跨欧亚的第四大帝国。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

关于微分中值公式的证明中辅助函数的构造法初探

本文给出部分常见的关于微分中值性公式的证明过程中构造辅助函数的一般方法。