对反证法在解题中应用的探讨 被引量：1

1

作者 赵秀娥 《济源职业技术学院学报》 2004年第3期71-72,共2页

在解题中如果恰当地使用反证法,能使一些复杂问题的证明简单化,本文就在解题中如何应用反证法从四个方面进行了探讨,并提供了一些解题技巧。

关键词 反证法 解题 应用

下载PDF 职称材料

基于聚类离散化的Dep-Miner函数依赖发现方法

2

作者 仓敏 王静怡 +3 位作者 吴霜 翟晓萌 程曦 诸德律 《南京理工大学学报》 CAS CSCD 北大核心 2023年第3期318-329,共12页

针对已有函数依赖发现方法直接应用于连续型数据时,易导致依赖关系挖掘失败的问题,该文基于已有Dep-Miner方法,提出基于等间隔离散化的Dep-Miner(ED-Dep-Miner)和基于聚类离散化的Dep-Miner(CD-Dep-Miner)函数依赖发现方法。通过数据离... 针对已有函数依赖发现方法直接应用于连续型数据时,易导致依赖关系挖掘失败的问题,该文基于已有Dep-Miner方法,提出基于等间隔离散化的Dep-Miner(ED-Dep-Miner)和基于聚类离散化的Dep-Miner(CD-Dep-Miner)函数依赖发现方法。通过数据离散化,将指标的连续型数据合理地转变为类别数据。实现基于类别数据的函数依赖发现,提升函数依赖发现能力。同时,对Dep-Miner中的部分定理给出了基于反证法和枚举法的通俗化证明。该文将提出的ED-Dep-Miner和CD-Dep-Miner与不带有任何离散化操作的原始Tane和Dep-Miner进行了实验对比。实验结果表明,该文的ED-Dep-Miner和CD-Dep-Miner方法将原始连续型数据转化为离散型分类,挖掘出了更多潜在的函数依赖关系。同时,CD-Dep-Miner的性能要优于ED-Dep-Miner,解决了等间隔离散化存在的边界值问题。 展开更多

关键词 聚类 离散化 函数依赖发现 等间隔离散化 类别数据 反证法 枚举法 边界值问题

下载PDF 职称材料

高等代数中反证法的三点注记 被引量：2

3

作者 吴胜利 席小忠 《宜春学院学报》 2006年第6期34-35,37,共3页

针对高等代数中许多结论、定理的证明有时虽然可以用构造法、数学归纳法等其他方法证明,但证明过程较复杂;有时结果虽然是数值却无法用求解的方法来求解,提出了用反证法来证明或求解的思想,从而达到了化复杂为简明、化难为易的效果.

关键词 高等代数 反证法 构造法 数学归纳法

下载PDF 职称材料

基于疫病检测信息的布病动力学模型分析 被引量：3

4

作者 乔瑞春 侯强 李有文 《数学的实践与认识》 北大核心 2019年第13期322-328,共7页

检测扑杀措施的实施对动物疫病的防控和净化起着决定性的作用,基于检测行为的特点,建立动力学模型来分析检测行为对布病传播的影响.首先计算基本再生数,分析平衡点的存在性;然后通过构造Lyapunov函数证明无病平衡点和地方病平衡点的全... 检测扑杀措施的实施对动物疫病的防控和净化起着决定性的作用,基于检测行为的特点,建立动力学模型来分析检测行为对布病传播的影响.首先计算基本再生数,分析平衡点的存在性;然后通过构造Lyapunov函数证明无病平衡点和地方病平衡点的全局渐近稳定性;最后通过数值模拟验证理论分析.研究成果可为布病的有效预防和控制提供一定的理论依据. 展开更多

关键词 检测 基本再生数 LYAPUNOV函数 稳定性 反证法

原文传递

命题逻辑与数学证明方法(Ⅲ) 被引量：1

5

作者 孙宗明 《泰山学院学报》 2014年第6期18-22,共5页

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.

关键词 反证法推理格式 反证法 数学证明方法总结

下载PDF 职称材料

四点共圆的判定及其应用 被引量：2

6

作者 刘合财 《贵阳学院学报（自然科学版）》 2013年第1期24-27,共4页

主要讨论了四点共圆的判定问题,给出了几个判定定理,并相应地得出了证明四点共圆的几种证法,最后给出了判定四点共圆的几个应用实例。

关键词 四点共圆 凸四边形 反证法

下载PDF 职称材料

关于数学分析中适于用反证法证明的问题类型分析 被引量：1

7

作者 田俊英 《景德镇学院学报》 2019年第3期21-25,共5页

在数学分析中,如果要论证的命题(若A 则B),没有直接证明的正面根据,用反证法证明,此时,只要证明该命题的否定(若A 则不B)与已知条件或者定理、公理等相矛盾即可.而对于论题“若A则B”是否有直接证明的正面根据,如何判断呢?要看数学分析... 在数学分析中,如果要论证的命题(若A 则B),没有直接证明的正面根据,用反证法证明,此时,只要证明该命题的否定(若A 则不B)与已知条件或者定理、公理等相矛盾即可.而对于论题“若A则B”是否有直接证明的正面根据,如何判断呢?要看数学分析中是否建立了关于B 或不B 的理论.若数学分析中建立了有关B 的理论,则适于用直接证法证明,若建立了关于不B 的理论,则适于用反证法. 展开更多

关键词 反证法 直接证法

下载PDF 职称材料

间接论证的思想方法

8

作者 何晓光 《承德石油高等专科学校学报》 CAS 1997年第2期29-32,共4页

在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,... 在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,从逻辑论证的角度出发,对此方法进行研究、归纳,以期在证明中做到有的放矢,灵活运用. 展开更多

关键词 反说证明 选择证明 反例性证明

下载PDF 职称材料

反证法——极小反例 被引量：1

9

作者 张先休 曾令艳 陕振沛 《科教导刊》 2013年第22期187-188,共2页

本文讨论了反证法,引出了极小反例——群论中的一种常用证明方法,并用他们证明了一些结论。

关键词 反证法 极小反例 真子群 幂零群

下载PDF 职称材料

关于f(x)≡0的证明方法研究

10

作者 张胜兵 《皖西学院学报》 2006年第2期21-23,共3页

通过研究给出了证明f(x)≡0的七种方法。

关键词 函数 反证法 中值定理

下载PDF 职称材料

第五公设的证明带给我们的启迪

11

作者 王洪 《辽宁师专学报（自然科学版）》 2013年第3期1-3,共3页

在证明第五公设的过程中,直接证法提出了等价命题;萨开里开辟了一条通向非欧几何的途径——反证法;高斯是预见非欧几何的第一人;罗巴切夫斯基大胆地提出了反问题并敢于批判权威,标志非欧几何的诞生.可见,思维方式的转变可以打破惯性思... 在证明第五公设的过程中,直接证法提出了等价命题;萨开里开辟了一条通向非欧几何的途径——反证法;高斯是预见非欧几何的第一人;罗巴切夫斯基大胆地提出了反问题并敢于批判权威,标志非欧几何的诞生.可见,思维方式的转变可以打破惯性思维的束缚,开拓新天地. 展开更多

关键词 第五公设 等价命题 反证法 惯性思维

下载PDF 职称材料

论证明责任的分配制度 被引量：1

12

作者 邢霞 《安阳工学院学报》 2006年第5期88-90,共3页

证明责任的分配,是民事诉讼证据制度的核心问题,也是民事诉讼理论中最具争议的问题之一。法官按照什么标准来分配证明责任,才能符合实体公平、程序正义和诉讼效益的理念,既要从宏观上确定适用于种各类诉讼的分配证明责任的一般规则,又... 证明责任的分配,是民事诉讼证据制度的核心问题,也是民事诉讼理论中最具争议的问题之一。法官按照什么标准来分配证明责任,才能符合实体公平、程序正义和诉讼效益的理念,既要从宏观上确定适用于种各类诉讼的分配证明责任的一般规则,又要从微观上解决具体个案中证明责任的合理均衡分配。 展开更多

关键词 证明责任 否认与抗辩 司法自由裁量权

下载PDF 职称材料