１.前束范式 一個公式，如果量詞均在全式的開頭，它們的作用域延伸到整個公式的末尾，則稱為是前束范式。例如：(x)(y)(z)（Q(x,y)→R(z)）的地方是並或交。任何一個謂詞公式都有一個 ...

一：集合論基礎 　　1.1 集合的初見 　　1.2 特殊集合與集合間的關系 　　1.3 集合的運算 　　1.4 集合的運算定律 　　1.5 可數集合與不可數集合 二：命題邏輯 　　 ...

Ch1 命題邏輯的基本概念 1.1 命題 命題：能判斷真假且非真即假的陳述句。 命題的真值，真命題，假命題。 * 真值待定 * 簡單命題 | 原子命題，復合命題。 1.2 常用的5個命題聯 ...

目錄 前言 數理邏輯 命題邏輯 基本概念 命題等價 命題蘊含 ...

什么叫“離散”？離散，就是和連續相反的。隨便拿一堆東西，如大到宇宙，小到粒子團，若其整體中的元素是獨立的，分開的，則叫“離散”。計算機是不能處理連續信息的，這是由計算機的本質：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 通路與回路 ...