美文网首页每天学一点新知识
使用反证法解决不可解的问题_day70

使用反证法解决不可解的问题_day70

作者: FANDX | 来源:发表于2020-03-24 21:47 被阅读0次

什么是反证法

  1. 首先,假设命题否定的形式,成立
  2. 根据假设进行的论证,推导出矛盾的结果

一言以屏蔽,反证法就是“先假设命题的否定形式成立,然后在进行推理,引出矛盾”的论证方法

思考一下-为什么不存在最大的整数

用反证法证明不存在最大的整数

  • 假设存在最大的整数,并将它设为M
  • 那么M+1就比M大,这与M是最大整数的假设相矛盾
  • 因此不存在最大的整数

这里就是需要证明的不存在最大的整数

那么反证法其实就是证明最大的整数

相关文章

  • 使用反证法解决不可解的问题_day70

    什么是反证法 首先,假设命题否定的形式,成立 根据假设进行的论证,推导出矛盾的结果 一言以屏蔽,反证法就是“先假设...

  • js琐碎笔记之 函数

    函数: 语法: 函数的调用: 使用return关键字 函数的执行结果 函数的参数 反证法(假设法)解决问题 ---...

  • 算法6:贪心

    贪心算法的核心思想是每次取当前最优解达到全局最优解,通常使用反证法来证明,但是要注意有的问题每次取局部最优不一定为...

  • 不可解的问题_day72

    什么是不可解的问题 不可解的问题是,原则上不能用程序来解决问题。也可以说是“不包含在”程序可解决问题的集合中的问题...

  • 虚拟,缓存,分层:计算机科学思维在文件系统中的体现

    正如解决数学问题通常我们会谈“思想”,诸如反证法、化繁为简等,解决计算机问题也有很多非常出色的思想。思想之所以称为...

  • 关于block 使用__weak & __strong 来解决循

    关于block 使用__weak & __strong 来解决循环引用的问题__weak&__strong的使用解...

  • 看到自己进步很开心

    有问题不可怕。可怕的是遇到问题不敢去解决。这些天把问题一个个的解决掉了非常的有成就感。原来遇到问题一点也不可怕,解...

  • 模块化(CommonJS & AMD & CMD)

    为什么要使用模块化 目的: 解决命名冲突的问题 解决依赖管理的问题 使代码的可读性更高 代码解耦提高复用性 CMD...

  • 消息队列和RabbitMQ及AMQP协议介绍

    转自:二月_春风 文章地址 为什么要使用消息队列 异步处理 系统解耦解耦是消息中间队列解决的最本质问题。所谓解耦,...

  • 高中奥数 2022-03-20

    反证法是我们论证数学命题时常用的有力工具.有些问题从正面很难下手,就应试着用反证法来考虑,因为当我们从正面去看问题...

网友评论

    本文标题:使用反证法解决不可解的问题_day70

    本文链接:https://www.haomeiwen.com/subject/foaayhtx.html