共查询到20条相似文献，搜索用时 750 毫秒
1.
邵斌 《湖州师范学院学报》2001,23(3):54-56
机器定理证明是人工智能的重要分支学科之一 .定理的机器证明已经达到了相当成熟的水平 ,但有关利用图论方法进行定理的机器证明还不多见 .在这样的背景下 ,试图结合机器定理证明的经典方法 ,将图论思想引入进来 ,提出了一种初步的图论机器定理证明方法 ,解决了一类有关定理的机器证明问题 . 相似文献
2.
王有文 《忻州师范学院学报》2012,28(2):1-2
格朗日中值定理是微分学中的一个重要定理,其证明方法有多种,但主要是通过构造函数进行的。文章提供了一种新的不通过构造函数进行证明的方法:借助于图形直观,构造一系列闭区间,利用区间套定理和文章提出的引理进行证明。 相似文献
3.
对代数基本定理的证明，进行了多种方法的分桥，运用初等方法、Cauchy积分定理和Brouwer不动点定理，给出另外3种方法进行论证。 相似文献
4.
介绍证明拉格朗日中值定理时构造辅助函数的几种方法,用类似的方法对柯西定理进行了证明;同时对微分中值定理加以推广,得到了更一般的情形. 相似文献
5.
本文对[4]中紧距离空间中的一些不动点定理进行扩充,并按[1]中方法对弱膨胀映射的不动点定理给以新的推论.最后,还提到对Caristi定理的一个应用,主要结果是定理1,定理3与定理7——8. 相似文献
6.
定理在构建整个高等数学知识体系中占据着重要的地位,很多定理体现了高等数学经典的思想方法。有效的定理教学不但有助于学生牢固掌握数学知识的结构,还有利于提高学生发现问题、解决问题的能力。本文从定理的引入、定理的证明、定理的应用三方面出发,就如何设计高等数学定理课教学进行了探讨。 相似文献
7.
《教育研究与评论(中学教育教学版)》2016,(2)
CPFS理论指出,数学命题教学应该帮助学生增加命题数量,丰富命题之间的联系。余弦定理教学中,可以利用全等三角形的知识,引出推导需求;联系锐角三角函数定义、勾股定理、射影定理、全等三角形判定、等积变换方法、相交弦定理、割线定理、两角和的正弦公式、正弦定理、向量数量积运算、解析几何距离公式,进行定理推导;针对不同目标,联系不同知识,进行定理变式;选择具有模型演变价值和多种解题途径的典型问题,进行定理应用。 相似文献
8.
运用余数周期表和递推分析法,对《中国剩余定理》进行全面改革,创建《中国剩余定理》全新的理论和方法,证明"余数自变定理"和"剩余递推定理",为实现《中国剩余定理》普及化、大众化的目标奠定牢固的理论基础. 相似文献
9.
10.
俸卫 《四川教育学院学报》2013,29(7):112-114
从多角度对Cauchy中值定理的证明方法作了进一步探讨,归纳出了多种证明方法,其中包括利用Rolle定理证明,利用达布定理证明,利用同增量性定理证明,利用积分中值定理证明等七条路径.并利用反向分析法分析了如何构造出适当的辅助函数进行有效证明,有利于培养学生的数学思维,提高学生的创新能力。 相似文献
11.
《安顺学院学报》1997,(2)
一个定理的形成和发现是有一定过程的,一个应用范围较广的定理往往是从应用范围较小的定理逐步推广而成的,而应用范围较小的定理往往又源于一两个特例。一个数学定理有可能从不同角度和不同侧面进行推广,本文试图把发现和初等数学新定理的方法加以分类整理,并试图找到一般规律,本人认为就自己切身经历现身说法,更有利于从实质上进行方法的归纳。因此,本文归纳方法的范例,尽量取材于自己近几年发表的初等数学研究新成果。如果我们在定理教学中,不仅教给学生定理的内容和证明,还教给学生定理的发现过程和发现方法,这样不仅有利于培养学生思维的严谨性,同时还培养了学生的创造性思维。长此以往,对于培养创造能力,为未来培养合格人材,无疑是大有益处的。 相似文献
12.
马强 《职教通讯(江苏技术师范学院学报)》2006,12(4)
本文首先对R中的比林斯利定理进行推广,获得了Rd中的比林斯利定理.然后通过例子给出了利用Rd中的比林斯利定理求一类分形集Hausdorff维数的一个方法. 相似文献
13.
王锐利 《漯河职业技术学院学报》2012,11(2):97-99
针对微分中值定理进行了更深入的探讨。用两种方法分别证明了拉格朗日中值定理和柯西中值定理,并给出了它们之间的相互关系以及几何意义。最后通过具有代表性的典型例题说明微分中值定理的应用。 相似文献
14.
15.
结合具体实例,在对根的存在定理及罗尔定理推广基础上,对证明方程有根的基本方法进行了研究,并对这类问题的特点、解题方法及步骤进行归纳总结. 相似文献
16.
黄清钿 《福建基础教育研究》2024,(1):55-57+62
试验问题引领数学定理教学可较好地帮助学生理解定理、应用定理。试验问题引领教学是指课堂上指导学生就某一主题用准备好的道具动手试验,教师根据学生试验的过程和可能出现的结果设置若干问题而进行的教学。试验问题引领数学定理教学的常用方法有：试验问题引领定理情境创设、试验问题引领学生定理理解、试验问题引领学生定理验证、试验问题引领学生定理归纳。 相似文献
17.
证明线段比例式或等积式成立,常用方法有:①证明两三角形相似;②利用射影定理、平行线分线段成比 例定理及圆幂定理等进行推证. 相似文献
18.
本文利用达布定理、同增量性和构造弱化命题三种方法证明了柯西中值定理;通过构造行列式函数将柯西中值定理进行推广;同时将柯西中值定理应用于求函数极限与证明函数单调性等问题。 相似文献
19.
20.
积分第一中值定理中间点的渐近性 总被引：2，自引：0，他引：2
利用泰勒公式,对Jacobson B,李文荣,吴亭的渐近定理、渐近速度定理的证明方法进行了改进,并对其相应结果进行了推广,研究了当区间的两个端点都趋于其内一定点时,积分第一中值定理中间点的渐近性及其收敛速度. 相似文献