-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數學 版權信息
- ISBN:9787508465470
- 條形碼:9787508465470 ; 978-7-5084-6547-0
- 裝幀:暫無
- 冊數:暫無
- 重量:暫無
- 所屬分類:>>
離散數學 內容簡介
本書包含四部分內容:數理邏輯、集合論、代數結構、圖論。每部分內容結合建構主義教學理論,設計不同離散數學應用案例,提供學習《離散數學》知識點的應用場景。每一章選擇有意義的范例和實驗項目,有利于學生通過編程實踐增進對離散數學知識的理解和應用,提高學生的學習興趣。全書體系嚴謹、敘述深入淺出。
每部分內容都分為基礎知識章節和高級應用章節(帶*部分),便于教師根據學時要求選講章節內容,適合不同學時的授課,也方便軟件開發人員參考應用。
本書可作為普通高等學校計算機及相關專業本科生“離散數學”課程的教材,也可供其他專業學生、工作人員及軟件開發人員閱讀和參考。有些高級應用范例還可供碩士研究生學習參考。
離散數學 目錄
**部分 數理邏輯
第1章 命題邏輯
1.1 命題及其表示
1.1.1 命題的基本概念
1.1.2 命題分類
1.1.3 命題標識符
1.2 邏輯聯結詞
1.2.1 否定聯結詞
1.2.2 合取聯結詞
1.2.3 析取聯結詞
1.2.4 條件聯結詞
1.2.5 雙條件聯結詞
1.2.6 字位運算與布爾檢索
1.3 命題公式與解釋
1.3.1 命題公式
1.3.2 命題的符號化
1.4 真值表與等價公式
1.4.1 真值表
1.4.2 等價公式
1.5 命題公式的分類與蘊含式
1.5.1 命題公式的分類
1.5.2 重言式與矛盾式的性質
1.5.3 蘊含式
1.6 其他邏輯聯結詞和*小功能完備聯結詞組
1.6.1 其他邏輯聯結詞
1.6.2 *小功能完備聯結詞組
1.6.3 聯結詞的邏輯電路表示
1.7 對偶與范式
1.7.1 對偶式與對偶原理
1.7.2 命題公式的范式
1.7.3 命題公式的主析取范式和主合取范式
1.8 推理理論
1.8.1 直接證法
1.8.2 間接證法
習題一
實驗一 真值表的程序計算
第2章 謂詞邏輯
第3章 基于歸結原理的推理證明料
第二部分 集合論
第4章 集合及其運算
第5章 二元關系
第6章 函數
第7章 集合的基數
第三部分 代數結構
第8章 半群、語言和自動機
第9章 代數系統
第10章 格與布爾代數
第四部分 圖論
第11章 圖的基本概念
第12章 樹
第13章 支配集、覆蓋集、獨立集與匹配理論
《離散數學》常用符號表
參考文獻
離散數學 節選
《離散數學》包含四部分內容:數理邏輯、集合論、代數結構、圖論。每部分內容結合建構主義教學理論,設計不同離散數學應用案例,提供學習《離散數學》知識點的應用場景。每一章選擇有意義的范例和實驗項目,有利于學生通過編程實踐增進對離散數學知識的理解和應用,提高學生的學習興趣。全書體系嚴謹、敘述深入淺出。每部分內容都分為基礎知識章節和高級應用章節(帶*部分),便于教師根據學時要求選講章節內容,適合不同學時的授課,也方便軟件開發人員參考應用。《離散數學》可作為普通高等學校計算機及相關專業本科生“離散數學”課程的教材,也可供其他專業學生、工作人員及軟件開發人員閱讀和參考。有些高級應用范例還可供碩士研究生學習參考。
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
山海經
- >
龍榆生:詞曲概論/大家小書
- >
中國歷史的瞬間
- >
詩經-先民的歌唱
- >
自卑與超越
- >
小考拉的故事-套裝共3冊
- >
朝聞道
-
代數學引論-(第二卷)(第3版)
¥36.3¥44.1