包郵 離散數(shù)學及其應用

第1章 命題邏輯
1．1 命題和聯(lián)結詞
1．1．1 命題
1．1．2 命題聯(lián)結詞
1．1．3 命題表達式
1．1．4 真值表的構造
1．1．5 命題符號化
1．2 重言式
1．2．1 命題公式分類
1．2．2 重言式
1．2．3 邏輯等價
1．2．4 代入規(guī)則與替換規(guī)則
1．2．5 對偶原理
1．3 公式中的范式
1．3．1 析取范式和合取范式
1．3．2 主析取范式
1．3．3 主合取范式
1．4 命題聯(lián)結詞的擴充與歸約
1．4．1 命題聯(lián)結詞的擴充
1．4．2 命題聯(lián)結詞的歸約
1．5 基于命題的推理
1．5．1 基于真值表的推理
1．5．2 基于推理規(guī)則的推理
1．5．3 舉例
1．6 習題

第2章 謂詞邏輯
2．1 謂詞公式
2．1．1 個體詞
2．1．2 謂詞
2．1．3 量詞
2．1．4 命題符號化
2．1．5 謂詞公式
2．2 約束
2．2．1 約束部分
2．2．2 換名規(guī)則和代替規(guī)則
2．2．3 公式的解釋
2．3 謂詞公式中的永真式
2．3．1 謂詞公式的等價
2．3．2 謂詞公式的類型
2．4 謂詞公式中的范式
2．5 謂詞推理
2．5．1 推理規(guī)則
2．5．2 舉例
2．6 習題

第3章 集合論
3．1 基本概念
3．2 集合間的關系
3．3 集合的運算
3．3．1 集合的基本運算
3．3．2 集合的運算律
3．3．3 例題
3．4 包含排斥原理
3．5 冪集合與笛卡兒積
3．5．1 冪集合
3．5．2 笛卡兒積
3．6 集合運算與基數(shù)概念的擴展
3．6．1 并集、交集的擴展
3．6．2 基數(shù)概念的擴展
3．7 習題
……

第4章 二元關系
第5章 圖論
第6章 初等數(shù)論
第7章 代數(shù)系統(tǒng)

參考文獻