反证法与归谬法极其相似，但是却有本质区别，下面以两个例子来说明这个区别 反证法的例子： 楚庄王养的一匹爱马死了，他十分痛心，命令群臣用大夫等级的礼节来埋葬这匹马。大臣们说不能这样做。楚庄王非常生气，下令：“有敢以马谏者，罪致死。”优孟听说此事后，去见楚庄王。要求以君王之礼来葬这匹马，并叫上 ...

一、反证法介绍 从“否定结论的假设”出发，推导出的条件与已知条件相矛盾，从而证明“否定结论的假设”是错误的；因此证明原命题是正确的。 　　已知：若p，则q。（p -> q） 　　证明： 　　　　步骤1：假设（ p -> q ...

前言：因为做离散数学的时候发现一些重要的基础知识总是忘记，觉得写下来应该可以记得更牢固一些，所以记录平时的知识，随学随更。 基本割集:由树的一条树枝和若干连支构成的割集。 寻找基本割集的步骤： 1.移去所有连支，余下一棵树。 2.移除tk,则余下子图被分成N1，N2两部分。 3.tk ...

定义 最简单和常见的数学归纳法是证明当 n等于任意一个自然数时某命题成立。证明分下面两步： 证明当 n= 1时命题成立。 假设 n= m时命题成立，那么可以推导出在 n= m+1时命题也成立。（ m ...

什么叫“离散”？离散，就是和连续相反的。随便拿一堆东西，如大到宇宙，小到粒子团，若其整体中的元素是独立的，分开的，则叫“离散”。计算机是不能处理连续信息的，这是由计算机的本质：0和1，决定的。正因为这样，如果要借助计算机来处理连续的东西，其中有一个必须的步骤：离散化。 “离散数学”是什么？它是 ...

这里是离散数学图论的学习笔记，然而由于学校的关系跳过了集合论、序偶、二元关系等一些可能运用到的基础知识，所以可能数学符号和表述方面会有一些问题 qaq \[\newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert ...

定义 欧拉回路：通过图中每条边一次且仅一次，并且过每一顶点的回路。 欧拉图：具有欧拉回路的图。 欧拉通路：通过图中每条边一次且仅一次，并且过每一顶点的通路。 半欧拉图：具有欧拉通路 ...

http://www.360doc.com/content/14/0808/15/17799864_400345159.shtml 1、平面图和印刷电路板的设计 有时候，实际问题要求我们把 ...