１.前束范式 一個公式，如果量詞均在全式的開頭，它們的作用域延伸到整個公式的末尾，則稱為是前束范式。例如：(x)(y)(z)（Q(x,y)→R(z)）的地方是並或交。任何一個謂詞公式都有一個前束范式等價。 ２.容斥原理 ｎ個集合的並集的元素的個數＝每個集合元素的個數和－兩兩集合交 ...

一.實驗內容 （1）求任意一個命題公式的真值表。 （2）利用真值表求任意一個命題公式的主范式。 （3）利用真值表進行邏輯推理。 注：（2）和（3）可在（1）的基礎上完成。 二.實驗目的 真值表是命題邏輯中的一個十分重要的概念，利用它幾乎可以解決命題邏輯中的所有問題。例如，利用命題公式 ...

數理邏輯是研究推理的數學學科，它首先完成是對現象的一種符號化處理，基於符號化處理，它在將着重於推理過程以及推理的結果。 命題： 稱所表達的判斷式真或假但不能可真可假的陳述句為命題。 命題的符號化： 一般使用小寫字母p、q、r、s來表示簡單的陳述句命題 ...

什么叫“離散”？離散，就是和連續相反的。隨便拿一堆東西，如大到宇宙，小到粒子團，若其整體中的元素是獨立的，分開的，則叫“離散”。計算機是不能處理連續信息的，這是由計算機的本質：0和1，決定的。正因為這樣，如果要借助計算機來處理連續的東西，其中有一個必須的步驟：離散化。 “離散數學”是什么？它是 ...

這里是離散數學圖論的學習筆記，然而由於學校的關系跳過了集合論、序偶、二元關系等一些可能運用到的基礎知識，所以可能數學符號和表述方面會有一些問題 qaq \[\newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert ...

定義 歐拉回路：通過圖中每條邊一次且僅一次，並且過每一頂點的回路。 歐拉圖：具有歐拉回路的圖。 歐拉通路：通過圖中每條邊一次且僅一次，並且過每一頂點的通路。 半歐拉圖：具有歐拉通路 ...

http://www.360doc.com/content/14/0808/15/17799864_400345159.shtml 1、平面圖和印刷電路板的設計 有時候，實際問題要求我們把 ...

圖論 ghj1222 目錄 圖論 寫在前面 第十四章 圖的基本概念 14.1 圖 14.2 通路與回路 14.3 圖的連通性 14.4 圖的矩陣表示 14.5 圖的運算 ...