中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數學-(第3版) 版權信息
- ISBN：9787118076240
- 條形碼：9787118076240 ; 978-7-118-07624-0
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
離散數學-(第3版) 本書特色
《離散數學(第3版)》主要介紹離散數學的基礎知識，全書共分七章，包括命題邏輯、一階謂詞邏輯、集合與二元關系、函數、代數系統、格代數、圖論等，并含有相關的例題與習題。本書由于筑國編著。
離散數學-(第3版) 內容簡介
本書主要介紹離散數學的基礎知識，全書共分七章，包括命題邏輯、一階謂詞邏輯、集合與二元關系、函數、代數系統、格代數、圖論等，并含有相關的例題與習題。
離散數學-(第3版) 目錄
**部分 數理邏輯第1章 命題邏輯演算系統1.1 命題邏輯演算系統的概念1.1.1 命題1.1.2 聯結詞1.2 命題公式與真值表1.2.1 命題公式與命題函數1.2.2 命題公式的真值表1.2.3 永真式與永假式1.2.4 其他聯結詞1.2.5 *小聯結詞組1.3 等價式與蘊含式1.3.1 命題公式的等價1.3.2 命題公式的蘊含1.3.3 等價的判定1.3.4 蘊含的判定1.4 范式與對偶式1.4.1 對偶公式1.4.2 范式1.4.3 主范式1.5 命題演算的推理理論1.5.1 有效推理的概念1.5.2 推理過程習題第2章 一階謂詞邏輯演算系統2.1 謂詞命題2.1.1 原子命題的謂詞表示2.1.2 量詞2.1.3 論域2.1.4 含量詞的謂詞命題2.2 謂詞命題公式及約束變元2.2.1 謂詞命題公式2.2.2 謂詞公式的解釋與賦值2.2.3 謂詞公式的等價與蘊含2.2.4 約束變元與自由變元2.2.5 代入實例2.3 謂詞邏輯演算的等價式和蘊含式2.3.1 等價式與蘊含式2.3.2 多元謂詞及其量詞2.3.3 前束范式與Skolem范式2.4 謂詞邏輯演算的推理理論2.4.1 謂詞邏輯的有效推理2.4.2 卸下、添加量詞的規則習題第二部分 集合論第3章 集合與關系3.1 集合及集合運算3.1.1 集合的概念3.1.2 集合的表示法3.1.3 集合公理3.1.4 集合的運算3.1.5 集合運算的性質3.2 三個基本原理3.2.1 排列組合的復習3.2.2 鴿巢原理3.2.3 包含排斥原理3.2.4 生成函數3.3 笛卡兒積與關系3.3.1 序偶與笛卡兒積3.3.2 關系的概念3.3.3 關系的表示3.3.4 關系的性質3.4 關系的運算3.4.1 關系的集合運算3.4.2 關系的復合運算3.4.3 關系的逆運算3.4.4 關系的閉包運算3.5 等價關系與相容關系3.5.1 劃分與覆蓋3.5.2 等價關系與等價類3.5.3 相容關系與相容類3.6 次序關系3.6.1 偏序關系3.6.2 HASSE圖3.6.3 上確界與下確界3.6.4 良序關系習題第4章 函數4.1 函數的概念4.1.1 數的定義4.1.2 數的特性4.2 復合函數與逆函數4.2.1 復合函數4.2.2 逆函數4.2.3 函數的運算性質4.3 序數與自然數4.3.1 等勢與劣勢4.3.2 自然數4.3.3 序數4.4 基數4.4.1 關于基數4.4.2 可數集與不可數集4.4.3 基數的比較習題第三部分 代數系統第5章 代數結構5.1 置換及其運算5.1.1 置換與輪換5.1.2 輪換的運算性質及方法5.1.3幾個輪換運算的等式5.2 數論初步5.2.1 整數5.2.2 輾轉相除法5.2.3 整數的互質性5.2.4 整數的同余性5.3 代數系統的概念5.3.1 代數系統5.3.2 子代數系統5.4 代數結構與子結構5.4.1 代數結構5.4.2 子代數結構5.5 同態、同構與同余5.5.1 同態與同構5.5.2 同余關系5.6 幾種典型的群5.6.1 交換群5.6.2 循環群5.6.3 置換群5.6.4 變換群與CaCey定理5.7 陪集與拉格朗日定理5.7.1 陪集5.7.2 拉格朗日定理5.7.3.Y規子群5.7.4 同態定理5.8 商代數與積代數5.8.1 商代數5.8.2 積代數……第四部分 圖論中英文索引參考文獻
展開全部
書友推薦
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
月亮虎
- >
經典常談
- >
朝聞道
- >
李白與唐代文化
- >
名家帶你讀魯迅:朝花夕拾
- >
姑媽的寶刀
- >
羅庸西南聯大授課錄
本類暢銷
