反證法與歸謬法極其相似，但是卻有本質區別，下面以兩個例子來說明這個區別 反證法的例子： 楚庄王養的一匹愛馬死了，他十分痛心，命令群臣用大夫等級的禮節來埋葬這匹馬。大臣們說不能這樣做。楚庄王非常生氣，下令：“有敢以馬諫者，罪致死。”優孟聽說此事后，去見楚庄王。要求以君王之禮來葬這匹馬，並叫上 ...

一、反證法介紹 從“否定結論的假設”出發，推導出的條件與已知條件相矛盾，從而證明“否定結論的假設”是錯誤的；因此證明原命題是正確的。 　　已知：若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、平面圖和印刷電路板的設計 有時候，實際問題要求我們把 ...