離散數學四版知識框架

㈠ 《離散數學》課程講什麼內容

離散數學是研究離散對象（量）的數學，粗略地來講，所謂「離散」就是不「連續」的、「可分離」的，比如自然數、書本、人等等，實數則是連續的。用集合論的術語來說，離散對象就是這樣的對象：其全體所構成的集合是有限或可數的。
離散數學課程是計算機專業的核心課程之一，為許多後繼課程（如數據結構、操作系統、資料庫原理、軟體工程、演算法設計與分析、系統結構、網路原理）提供了必要的數學基礎和工具，且其學習過程還為提高分析問題和解決問題的能力提供了一條有效的途徑，從而為今後的學習和工作打下堅實的基礎。
本課程涉及四個數學分支：集合論、數理邏輯、圖論和組合數學，主要介紹這些數學分支的基本框架、基礎知識、基本思想和方法，內容的取捨和講授方法充分考慮了計算機專業學生的特點和需要，展示了離散數學在計算機科學中的應用，強調基本概念、基本方法和能力培養。

㈡ 離散數學這門課程第六章圖論基礎的知識點有哪些

離散數學這門課第六章圖論基礎的知識點包含章節導引,第一節圖及其表示,第二節握手定理,第三節圖的連通性,第四節頂點著色,第五節圖同構,課後鞏固,。

㈢ 離散數學這門課程第一章集合論的知識點有哪些

離散數學這門課第一章集合論的知識點包含章節導引,第一節集合的概念,第二節集合的運算,第三節集合運算的性質,第四節有限集合的計數,課後鞏固,。

㈣ 離散數學基本知識

離散數學是數學的幾個分支的總稱,以研究離散量的結構和相互間的關系為主要目標,其研究對象一般地是有限個或可數無窮個元素;因此它充分描述了計算機科學離散性的特點.內容包含：數理邏輯、集合論、代數結構、圖論、組合學、數論等.《離散數學》課程簡介 離散數學是計算機專業的一門重要基礎課.它所研究的對象是離散數量關系和離散結構數學結構模型.由於數字電子計算機是一個離散結構,它只能處理離散的或離散化了的數量關系,因此,無論計算機科學本身,還是與計算機科學及其應用密切相關的現代科學研究領域,都面臨著如何對離散結構建立相應的數學模型；又如何將已用連續數量關系建立起來的數學模型離散化,從而可由計算機加以處理.離散數學課程主要介紹離散數學的各個分支的基本概念、基本理論和基本方法.這些概念、理論以及方法大量地應用在數字電路、編譯原理、數據結構、操作系統、資料庫系統、演算法的分析與設計、人工智慧、計算機網路等專業課程中；同時,該課程所提供的訓練十分有益於學生概括抽象能力、邏輯思維能力、歸納構造能力的提高,十分有益於學生嚴謹、完整、規范的科學態度的培養.
離散數學主要包括四個方面邏輯學集合論,代數結構,圖論,直接用來解決一些實際的問題的,比較少,因為它是一門計算機專業的理論基礎課,解決實際問題,你看哪些方面的問題了,
下面我舉一些例子：
1 數據結構,這是計算機專業的一門重量級課程,而離散數學里裡面的圖論,就是數據結構裡面圖和樹的理論基礎!像一些經典的演算法,在數據結構里會學到,其實,它們在圖論里就被研究得很透!
2.關系資料庫,不用說,它的理論基礎----關系代數,就是離散數學的一個分支!
3.在計算機網路原理裡面,有一些路由選擇演算法之類 的,像最短路徑演算法等,都是離散數學里圖論的應用,都是一些經典的演算法!
4.更深層次的,像人工智慧等學科,都是以離散數學做為理論基礎的,
所以,離散數學是計算機的一個理論基礎,
至於你在編程中解決的問題,那應該是數據結構和演算法的應用,因為這門課就是離散數學的理論,加上在計算機上的存儲以及操作實現的~~

㈤ 數據結構和離散數學，求指導

一、語言是最重要的基本功

無論側重於什麼方面，只要是通過計算機程序去最終實現的競賽，語言都是大家要
過的第一道關。亞洲賽區的比賽支持的語言包括C/C++與JAVA。筆者首先說說JAVA，眾所
周知，作為面向對象的王牌語言，JAVA在大型工程的組織與安全性方面有著自己獨特的
優勢，但是對於信息學比賽的具體場合，JAVA則顯得不那麼合適，它對於輸入輸出流的
操作相比於C++要繁雜很多，更為重要的是JAVA程序的運行速度要比C++慢10倍以上，而
競賽中對於JAVA程序的運行時限卻往往得不到同等比例的放寬，這無疑對演算法設計提出
了更高的要求，是相當不利的。其實，筆者並不主張大家在這種場合過多地運用面向對
象的程序設計思維，因為對於小程序來說這不旦需要花費更多的時間去編寫代碼，也會
降低程序的執行效率。

接著說C和C++。許多現在參加講座的同學還在上大一，C的基礎知識剛剛學完，還沒
有接觸過C++，其實在賽場上使用純C的選手還是大有人在的，它們主要是看重了純C在效
率上的優勢，所以這部分同學如果時間有限，並不需要急著去學習新的語言，只要提高
了自己在演算法設計上的造詣，純C一樣能發揮巨大的威力。

而C++相對於C，在輸入輸出流上的封裝大大方便了我們的操作，同時降低了出錯的
可能性，並且能夠很好地實現標准流與文件流的切換，方便了調試的工作。如果有些同
學比較在意這點，可以嘗試C和C++的混編，畢竟僅僅學習C++的流操作還是不花什麼時間
的。

C++的另一個支持來源於標准模版庫（STL），庫中提供的對於基本數據結構的統一
介面操作和基本演算法的實現可以縮減我們編寫代碼的長度，這可以節省一些時間。但是
，與此相對的，使用STL要在效率上做出一些犧牲，對於輸入規模很大的題目，有時候必
須放棄STL，這意味著我們不能存在「有了STL就可以不去管基本演算法的實現」的想法；
另外，熟練和恰當地使用STL必須經過一定時間的積累，准確地了解各種操作的時間復雜
度，切忌對STL中不熟悉的部分濫用，因為這其中蘊涵著許多初學者不易發現的陷阱。

通過以上的分析，我們可以看出僅就信息學競賽而言，對語言的掌握並不要求十分
全面，但是對於經常用到的部分，必須十分熟練，不允許有半點不清楚的地方，下面我
舉個真實的例子來說明這個道理——即使是一點很細微的語言障礙，都有可能釀成錯誤
：

在去年清華的賽區上，有一個隊在做F題的時候使用了cout和printf的混合輸出，由
於一個帶緩沖一個不帶，所以輸出一長就混亂了。只是因為當時judge team中負責F題的
人眼睛尖，看出答案沒錯只是順序不對（答案有一頁多，是所有題目中最長的一個輸出
），又看了看程序發現只是輸出問題就給了個Presentation error（格式錯）。如果審
題的人不是這樣而是直接給一個 Wrong Answer，相信這個隊是很難查到自己錯在什麼地
方的。

現在我們轉入第二個方面的討論，基礎學科知識的積累。

二、以數學為主的基礎知識十分重要

雖然被定性為程序設計競賽，但是參賽選手所遇到的問題更多的是沒有解決問題的
思路，而不是有了思路卻死活不能實現，這就是平時積累的基礎知識不夠。今年World
Final的總冠軍是波蘭華沙大學，其成員出自於數學系而非計算機系，這就是一個鮮活的
例子。競賽中對於基礎學科的涉及主要集中於數學，此外對於物理、電路等等也可能有
一定應用，但是不多。因此，大一的同學也不必為自己還沒學數據結構而感到不知從何
入手提高，把數學撿起來吧！下面我來談談在競賽中應用的數學的主要分支。

1、離散數學——作為計算機學科的基礎，離散數學是競賽中涉及最多的數學分支，
其重中之重又在於圖論和組合數學，尤其是圖論。

圖論之所以運用最多是因為它的變化最多，而且可以輕易地結合基本數據結構和許
多演算法的基本思想，較多用到的知識包括連通性判斷、DFS和BFS，關節點和關鍵路徑、
歐拉迴路、最小生成樹、最短路徑、二部圖匹配和網路流等等。雖然這部分的比重很大
，但是往往也是競賽中的難題所在，如果有初學者對於這部分的某些具體內容暫時感到
力不從心，也不必著急，可以慢慢積累。

競賽中設計的組合計數問題大都需要用組合數學來解決，組合數學中的知識相比於
圖論要簡單一些，很多知識對於小學上過奧校的同學來說已經十分熟悉，但是也有一些
部分需要先對代數結構中的群論有初步了解才能進行學習。組合數學在競賽中很少以難
題的形式出現，但是如果積累不夠，任何一道這方面的題目卻都有可能成為難題。

2、數論——以素數判斷和同餘為模型構造出來的題目往往需要較多的數論知識來解
決，這部分在競賽中的比重並不大，但只要來上一道，也足以使知識不足的人冥思苦想
上一陣時間。素數判斷和同餘最常見的是在以密碼學為背景的題目中出現，在運用密碼
學常識確定大概的過程之後，核心演算法往往要涉及數論的內容。

3、計算幾何——計算幾何相比於其它部分來說是比較獨立的，就是說它和其它的知
識點很少有過多的結合，較常用到的部分包括——線段相交的判斷、多邊形面積的計算
、內點外點的判斷、凸包等等。計算幾何的題目難度不會很大，但也永遠不會成為最弱
的題。

4、線性代數——對線性代數的應用都是圍繞矩陣展開的，一些表面上是模擬的題目
往往可以藉助於矩陣來找到更好的演算法。

5、概率論——競賽是以黑箱來判卷的，這就是說你幾乎不能動使用概率演算法的念頭
，但這也並不是說概率就沒有用。關於這一點，只有通過一定的練習才能體會。

6、初等數學與解析幾何——這主要就是中學的知識了，用的不多，但是至少比高等
數學多，我覺得熟悉一下數學手冊上的相關內容，至少要知道在哪兒能查到，還是必要
的。

7、高等數學——純粹運用高等數學來解決的題目我接觸的只有一道，但是一些題目
的敘述背景往往需要和這部分有一定聯系，掌握得牢固一些總歸沒有壞處。

以上就是競賽所涉及的數學領域，可以說范圍是相當廣的。我認識的許多人去搞信
息學的競賽就是為了逼著自己多學一點數學，因為數學是一切一切的基礎。

㈥ 離散數學原理

離散數學簡介

離散數學是現代數學的一個重要分支，也是計算機科學與技術的理論基礎。離散數學是計算機專業課程的基礎，是數據結構、編譯原理、程序設計語言、資料庫原理、操作系統、人工智慧、演算法分析與設計等課程必不可少的前行課程。通過對離散數學的學習，不僅使學生掌握進一步學習其他課程所必需的離散量的結構及其相互關系的數學知識，同時還培養了學生的抽象思維能力和嚴密的邏輯推理能力，另外還增強了學生使用學過的離散數學知識進行分析和解決問題的能力。

離散數學包括數理邏輯、集合論、代數結構、圖論、形式語言、自動機和計算幾何等。本課程主要介紹其中的數理邏輯和集合論部分。

數理邏輯是研究推理邏輯規則的一個數學分支，它採用數學符號化的方法，給出推理規則來建立推理體系。進而討論推理體系的一致性、可靠性和完備（全）性等。數理邏輯的研究內容是兩個演算加四論，具體為命題演算、謂詞演算、集合論、模型論、遞歸論和證明論。數理邏輯是形式邏輯與數學相結合的產物。但數理邏輯研究的是各學科（包括數學）共同遵從的一般性的邏輯規律，而各門學科只研究自身的具體規律。

集合論可看作數理邏輯的一個分支，也是現代數學的一個獨立分支，它是各個數學分支的共同語言和基礎。集合論是關於無窮集和超窮集的數學理論。古代數學家就已接觸到無窮概念，但對無窮的本質缺乏認識。為微積分尋求嚴密的基礎促使實數集結構的研究，早期的工作都與數集或函數集相關聯。集合論已在計算機科學、人工智慧學科、邏輯學、經濟學、語言學和心理學等方面起著重要的應用。

㈦ 求 離散數學（第四版）知識框架

離散數學期末復習要點與重點 第1章 集合及其運算 復習要點 1．理解集合、元素、集合的包含、子集、相等，以及全集、空集和冪集等概念，熟練掌握集合的表示方法．具有確定的，可以區分的若幹事物的全體稱為集合，其中的事物叫元素.．集合的表示方法：列舉法和描述法. 注意：集合的表示中元素不能重復出現，集合中的元素無順序之分． 掌握集合包含(子集)、真子集、集合相等等概念．注意：元素與集合，集合與子集，子集與冪集，�0�2與�0�0(�0�1),空集�0�4與所有集合等的關系.空集�0�4，是惟一的，它是任何集合的子集．集合A的冪集P(A)＝， A的所有子集構成的集合．若�0�5A�0�5＝n，則�0�5P(A)�0�5=2n．2．熟練掌握集合A和B的並A�0�6B，交A�0�5B，補集~A(~A補集總相對於一個全集).差集A－B，對稱差�0�3，A�0�3B＝(A－B)�0�6(B－A)，或A�0�3B＝(A�0�6B)－（A�0�5B）等運算，並會用文氏圖表示．掌握集合運算律(見教材第9～11頁)(運算的性質).3．掌握用集合運算基本規律證明集合恆等式的方法．集合的運算問題：其一是進行集合運算；其二是運算式的化簡；其三是恆等式證明．證明方法有二：(1)要證明A＝B，只需證明A�0�1B，又A�0�8B；(2)通過運算律進行等式推導．重點：集合概念，集合的運算，集合恆等式的證明． 第2章 關系與函數 復習要點1．了解有序對和笛卡兒積的概念，掌握笛卡兒積的運算． 有序對就是有順序二元組，如<x, y>，x, y的位置是確定的，不能隨意放置． 注意：有序對<a，b>�0�1<b,a>，以a, b為元素的集合{a, b}={b, a}；有序對(a, a)有意義，而集合{a, a}是單元素集合，應記作{a}． 集合A，B的笛卡兒積A×B是一個集合，規定A×B＝{<x,y>�0�5x�0�2A,y�0�2B}，是有序對的集合.笛卡兒積也可以多個集合合成，A1×A2×…×An． 2．理解關系的概念：二元關系、空關系、全關系、恆等關系.掌握關系的集合表示、關系矩陣和關系圖，掌握關系的集合運算和求復合關系、逆關系的方法． 二元關系是一個有序對集合，，記作xRy． 關系的表示方法有三種：集合表示法， 關系矩陣：R�0�1A×B，R的矩陣. 關系圖：R是集合上的二元關系，若<ai, bj>�0�2R，由結點ai畫有向弧到bj構成的圖形．空關系�0�4是唯一、是任何關系的子集的關系；全關系；恆等關系，恆等關系的矩陣MI是單位矩陣．關系的集合運算有並、交、補、差和對稱差．復合關系；復合關系矩陣：(按布爾運算)； 有結合律：(R·S)·T＝R·(S·T)，一般不可交換．逆關系；逆關系矩陣滿足：；復合關系與逆關系存在：(R·S)－1=S－1·R－1． 3．理解關系的性質(自反性和反自反性、對稱性和反對稱性、傳遞性的定義以及矩陣表示或關系圖表示)，掌握其判別方法(利用定義、矩陣或圖，充分條件)，知道關系閉包的定義和求法．註：(1)關系性質的充分必要條件：① R是自反的�0�4IA�0�1R；②R是反自反的�0�4IA�0�5R＝�0�4；③R是對稱的 �0�4R＝R－1；④R是反對稱的�0�4R�0�5R－1�0�1IA；⑤R是傳遞的�0�4R·R�0�1R. (2)IA具有自反性，對稱性、反對稱性和傳遞性．EA具有自反性，對稱性和傳遞性．故IA，EA是等價關系．�0�4具有反自反性、對稱性、反對稱性和傳遞性．IA也是偏序關系．4．理解等價關系和偏序關系概念，掌握等價類的求法和作偏序集哈斯圖的方法．知道極大(小)元，最大(小)元的概念，會求極大(小)元、最大(小)元、最小上界和最大下界． 等價關系和偏序關系是具有不同性質的兩個關系. 知道等價關系圖的特點和等價類定義，會求等價類． 一個子集的極大(小)元可以有多個，而最大(小)元若有，則惟一.且極元、最元只在該子集內；而上界與下界可以在子集之外．由哈斯圖便於確定任一子集的最大(小)元，極大(小)元．5．理解函數概念：函數(映射)，函數相等，復合函數和反函數．理解單射、滿射和雙射等概念，掌握其判別方法． 設f是集合A到B的二元關系，"a�0�2A，存在惟一b�0�2B，使得<a, b>�0�2f，且Dom(f)=A，f是一個函數(映射)．函數是一種特殊的關系．集合A×B的任何子集都是關系，但不一定是函數．函數要求對於定義域A中每一個元素a，B中有且僅有一個元素與a對應，而關系沒有這個限制． 二函數相等是指：定義域相同，對應關系相同，而且定義域內的每個元素的對應值都相同． 函數有：單射——若；滿射——f(A)=B或使得y=f(x)；雙射——單射且滿射． 復合函數 即．復合成立的條件是：．一般，但.反函數——若f：A�0�3B是雙射，則有反函數f－1：B�0�3A， ， 重點：關系概念與其性質，等價關系和偏序關系，函數. 第3章 圖的基本概念 復習要點 1．理解圖的概念：結點、邊、有向圖，無向圖、簡單圖、完全圖、結點的度數、邊的重數和平行邊等.理解握手定理． 圖是一個有序對<V，E>，V是結點集，E是聯結結點的邊的集合．掌握無向邊與無向圖，有向邊與有向圖，混合圖，零圖，平凡圖、自迴路(環)，無向平行邊，有向平行邊等概念．簡單圖，不含平行邊和環(自迴路)的圖、 在無向圖中，與結點v(�0�2V)關聯的邊數為結點度數(v)；在有向圖中，以v(�0�2V)為終點的邊的條數為入度－(v)，以v(�0�2V)為起點的邊的條數為出度＋(v)，deg(v)=deg+(v) +deg－(v)．無向完全圖Kn以其邊數；有向完全圖以其邊數．了解子圖、真子圖、補圖和生成子圖的概念．生成子圖——設圖G＝<V, E>，若E�0�4�0�1E，則圖<V, E�0�4>是<V, E>的生成子圖． 知道圖的同構概念，更應知道圖同構的必要條件，用其判斷圖不同構.重要定理：(1) 握手定理 設G=<V，E>，有；(2) 在有向圖D＝<V, E>中，；(3) 奇數度結點的個數為偶數個． 2．了解通路與迴路概念：通路(簡單通路、基本通路和復雜通路)，迴路(簡單迴路、基本迴路和復雜迴路)．會求通路和迴路的長度．基本通路(迴路)必是簡單通路(迴路)． 了解無向圖的連通性，會求無向圖的連通分支．了解點割集、邊割集、割點、割邊等概念．了解有向圖的強連通強性；會判別其類型．設圖G＝<V，E>，結點與邊的交替序列為通路．通路中邊的數目就是通路的長度．起點和終點重合的通路為迴路．邊不重復的通路(迴路)是簡單通路(迴路)；結點不重復的通路(迴路)是基本通路(迴路). 無向圖G中，結點u, v存在通路，u, v是連通的，G中任意結點u, v連通，G是連通圖．P(G)表示圖G連通分支的個數． 在無向圖中，結點集V�0�4�0�0V，使得P(G－V�0�4)>P(G)，而任意V�0�5�0�0V�0�4,有P（G－V�0�5）＝P(G)，V�0�4為點割集. 若V�0�4是單元集，該結點v叫割點；邊集E�0�4�0�0E，使得P(G－V�0�4)>P(G)，而任意E�0�5�0�0E�0�4，有P（G－E�0�5）＝P(G)，E�0�4為邊割集．若E�0�4是單元集，該邊e叫割邊(橋)．要知道：強連通單側連通弱連通，反之不成立．3．了解鄰接矩陣和可達矩陣的概念，掌握其構造方法及其應用．重點：圖的概念，握手定理，通路、迴路以及圖的矩陣表示． 第4章 幾種特殊圖 復習要點1．理解歐拉通路(迴路)、歐拉圖的概念，掌握歐拉圖的判別方法．通過連通圖G的每條邊一次且僅一次的通路(迴路)是歐拉通路(迴路)．存在歐拉迴路的圖是歐拉圖. 歐拉迴路要求邊不能重復，結點可以重復．筆不離開紙，不重復地走完所有的邊，走過所有結點，就是所謂的一筆畫．歐拉圖或通路的判定定理 (1)無向連通圖G是歐拉圖�0�4G不含奇數度結點(即G的所有結點為偶數度)； (2)非平凡連通圖G含有歐拉通路�0�4G最多有兩個奇數度的結點； (3)連通有向圖D含有有向歐拉迴路�0�4D中每個結點的入度＝出度．連通有向圖D含有有向歐拉通路�0�4D中除兩個結點外，其餘每個結點的入度＝出度，且此兩點滿足deg－(u)－deg＋(v)＝±1．2．理解漢密爾頓通路(迴路)、漢密爾頓圖的概念，會做簡單判斷．通過連通圖G的每個結點一次，且僅一次的通路(迴路)，是漢密爾頓通路(迴路)．存在漢密爾頓迴路的圖是漢密爾頓圖. 漢密爾頓圖的充分條件和必要條件 (1)在無向簡單圖G=<V，E>中，�0�5V�0�5�0�63，任意不同結點，則G是漢密爾頓圖．(充分條件) (2)有向完全圖D＝<V，E>, 若，則圖D是漢密爾頓圖. (充分條件)(3) 設無向圖G=<V，E>，任意V1�0�0V，則W(G－V1)�0�5�0�5V1�0�5(必要條件)若此條件不滿足，即存在V1�0�0V，使得P(G－V!)>�0�5V1�0�5,則G一定不是漢密爾頓圖(非漢密爾頓圖的充分條件)．3．了解平面圖概念，平面圖、面、邊界、面的次數和非平面圖．掌握歐拉公式的應用．平面圖是指一個圖能畫在平面上，除結點之外，再沒有邊與邊相交． 面、邊界和面的次數等概念．重要結論：(1)平面圖．(2)歐拉公式：平面圖 面數為r，則(結點數與面數之和＝邊數＋2)(3)平面圖． 會用定義判定一個圖是不是平面圖． 4．理解平面圖與對偶圖的關系、對偶圖在圖著色中的作用，掌握求對偶圖的方法．給定平面圖G＝〈V，E〉，它有面F1，F2，…，Fn，若有圖G*＝〈V*，E*〉滿足下述條件： ⑴對於圖G的任一個面Fi，內部有且僅有一個結點vi*∈V*；⑵對於圖G的面Fi，Fj的公共邊ek，存在且僅存在一條邊ek*∈E*，使ek*＝(vi*，vj*)，且ek*和ek相交； ⑶當且僅當ek只是一個面Fi的邊界時，vi*存在一個環ek*和ek相交；則圖G*是圖G的對偶圖．若G*是G的對偶圖，則G也是G*的對偶圖．一個連通平面圖的對偶圖也必是平面圖．5．掌握圖論中常用的證明方法．重點：歐拉圖和哈密頓圖、平面圖的基本概念及判別． 第5章 樹及其應用 復習要點1．了解樹、樹葉、分支點、平凡樹、生成樹和最小生成樹等概念，掌握求最小生成樹的方法．連通無迴路的無向圖是樹．樹的判別可以用圖T是樹的充要條件(等價定義)．注意：(1) 樹T是連通圖； (2)樹T滿足m＝n－1（即邊數=頂點數-1）．圖G的生成子圖是樹，該樹就是生成樹．每邊指定一正數，稱為權，每邊帶權的圖稱為帶權圖．G的生成樹T的所有邊的權之和是生成樹T的權，記作W(T)．最小生成樹是帶權最小的生成樹．2．了解有向樹、根樹、有序樹、二叉樹、二叉完全樹、正則二叉樹和最優二叉樹等概念．了解帶權二叉樹、最優二叉樹的概念，掌握用哈夫曼演算法求最優二叉樹的方法．有向圖刪去邊的方向為樹，該圖為有向樹． 對非平凡有向樹，恰有一個結點的入度為0(該結點為樹根)，其餘結點的入度為1，該樹為根樹． 每個結點的出度小於或等於2的根樹為二叉樹；每個結點的出度等於0或2的根樹為二叉完全樹；每個結點的出度等於2的根樹稱為正則二叉樹． 有關樹的求法：(1)生成樹的破圈法和避圈法求法；(2)最小生成樹的克魯斯克爾求法；(3) 最優二叉樹的哈夫曼求法重點：樹與根樹的基本概念，最小生成樹與最優二叉樹的求法. 第6章 命題邏輯 復習要點 1．理解命題概念，會判別語句是不是命題．理解五個聯結詞：否定�0�1P、析取�0�3、合取�0�2、條件�0�3、和雙條件�0�0及其真值表，會將簡單命題符號化．具有確定真假意義的陳述句稱為命題．命題必須具備：其一，語句是陳述句；其二，語句有唯一確定的真假意義. 2．了解公式的概念(公式、賦值、成真指派和成假指派)和公式真值表的構造方法．能熟練地作公式真值表．理解永真式和永假式概念，掌握其判別方法．判定命題公式類型的方法：其一是真值表法，其二是等價演演算法.3．了解公式等價概念，掌握公式的重要等價式和判斷兩個公式是否等價的有效方法：等價演演算法、列真值表法和主範式方法． 4．理解析取範式和合取範式、極大項和極小項、主析取範式和主合取範式的概念，熟練掌握它們的求法． 命題公式的範式不惟一，但主範式是惟一的． 命題公式A有n個命題變元，A的主析取範式有k個極小項，有m個極大項，則 於是有(1) A是永真式�0�4k=2n(m=0)； (2) A是永假式�0�4m＝2n(k=0)； 求命題公式A的析取(合取)範式的步驟：見教材第174頁．求命題公式A的主析取(合取)範式的步驟：見教材第177和178頁． 5．了解C是前提集合{A₁,A₂,…,A_m}的有效結論或由A1, A2, …, Am 邏輯地推出C的概念．要理解並掌握推理理論的規則、重言蘊含式和等價式，掌握命題公式的證明方法：真值表法、直接證法、間接證法．重點：命題與聯結詞，公式與解釋，真值表，公式的類型及判定，主析取(合取)範式，命題演算的推理理論. 第7章 謂詞邏輯復習要點1．理解謂詞、量詞、個體詞、個體域，會將簡單命題符號化．原子命題分成個體詞和謂詞，個體詞可以是具體事物或抽象的概念，分個體常項和個體變項．謂詞用來刻劃個體詞的性質或之間的關系． 量詞分全稱量詞"，存在量詞$. 命題符號化注意：使用全稱量詞"，特性謂詞後用�0�3；使用存在量詞$，特性謂詞後用�0�2．2．了解原子公式、謂詞公式、變元(約束變元和自由變元)與轄域等概念．掌握在有限個體域下消去公式的量詞和求公式在給定解釋下真值的方法．由原子公式、聯結詞和量詞構成謂詞公式．謂詞公式具有真值時，才是命題． 在謂詞公式"xA或$xA中，x是指導變元，A是量詞的轄域．會區分約束變元和自由變元．在非空集合D(個體域)上謂詞公式A的一個解釋或賦值有3個條件． 在任何解釋下，謂詞公式A取真值1，A為邏輯有效式(永真式)；公式A取真值0，A為永假式；至少有一個解釋使公式A取真值1，A稱為可滿足式．在有限個體域下，消除量詞的規則為：設D＝{a₁, a₂,…, a_n}，則會求謂詞公式的真值，量詞的轄域，自由變元、約束變元，以及換名規則、代入規則等．掌握謂詞演算的等價式和重言蘊含式．並進行謂詞公式的等價演算．3．了解前束範式的概念，會求公式的前束範式的方法. 若一個謂詞公式F等價地轉化成 ，那麼就是F的前束範式，其中Q1，Q2，…，Qk只能是"或$，而x1, x2,…, xk是個體變元，B是不含量詞的謂詞公式．前束範式仍然是謂詞公式． 4．了解謂詞邏輯推理的四個規則．會給出推理證明． 謂詞演算的推理是命題演算推理的推廣和擴充，命題演算中基本等價式，重言蘊含式以及P，T，CP規則在謂詞演算中仍然使用．謂詞邏輯的推理演算引入了US規則(全稱量詞指定規則)，UG規則(全稱量詞推廣規則)，ES規則(存在量詞指定規則)，EG規則(存在量詞推廣規則)等.重點：謂詞與量詞，公式與解釋，謂詞演算．

㈧ 離散數學知識點有哪些

離散數學知識點介紹如下：

1、→，前鍵為真，後鍵為假才為假；＜—＞，相同為真，不同為假。

2、主析取範式：極小項（m)之和；主合取範式：極大項（M)之積。

3、求極小項時，命題變元的肯定為1，否定為0，求極大項時相反。

4、求極大極小項時，每個變元或變元的否定只能出現一次，求極小項時變元不夠合取真，求極大項時變元不夠析取假。

5、求範式時，為保證編碼不錯，命題變元最好按P，Q，R的順序依次寫。

6、真值表中值為1的項為極小項，值為0的項為極大項。

7、n個變元共有個極小項或極大項，這為（0~-1)剛好為化簡完後的主析取加主合取。

8、永真式沒有主合取範式，永假式沒有主析取範式。

9、推證蘊含式的方法（=>)：真值表法；分析法（假定前鍵為真推出後鍵為真，假定前鍵為假推出後鍵也為假）。

10、命題邏輯的推理演算方法：P規則，T規則。

㈨ 離散數學知識點

離散數學重點和難點都在後幾章，圖和樹的部分，都是重點章節。特別是一些公式必須熟記。考的很多。
另外就是集合，關系和函數這兩章也很重要，因為這兩章是給後面打基礎的，沒有這兩章，圖和樹很難學，相對來說考的也比較多。

㈩ 離散數學小知識

把最外層的括弧去掉試試
樓上那個胡說八道！
第一：推導過程有問題
第二：就算結論是非P→P，也不能說明就是假命題，非P→P<=> P∨P<=>P
怎麼就是假命題了？
第三：合式公式的定義他都沒弄明白！