離散數(shù)學(xué)
Discrete Mathematics
大綱
課程大綱
第1章 集合及其運(yùn)算,介紹集合的基本概念與集合的運(yùn)算
第2章 關(guān)系與函數(shù),介紹關(guān)系與函數(shù)的概念、關(guān)系的性質(zhì)等
第3章 圖的基本概念與性質(zhì),介紹圖的基本概念與結(jié)論、圖的矩陣表示
第4章 幾種特殊圖,介紹歐拉圖、漢密爾頓圖與平面圖的概念及判定方法、圖的著色
第5章 樹及其應(yīng)用,介紹樹的定義及性質(zhì)、最小生成樹的概念與求解算法、最優(yōu)樹的概念與求解算法等
第6章 命題邏輯,介紹命題的概念、命題公式的解釋、范式的概念與求法、命題演算的推理理論
第7章 謂詞邏輯,介紹謂詞的概念、謂詞公式的解釋、謂詞演算的推理理論