-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數(shù)學(第二版) 版權(quán)信息
- ISBN:9787113297787
- 條形碼:9787113297787 ; 978-7-113-29778-7
- 裝幀:一般膠版紙
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>
離散數(shù)學(第二版) 本書特色
本書通俗易懂、概念清楚、講解翔實,適合作為普通高等學校計算機科學與技術(shù)、網(wǎng)絡(luò)工程及信息管理等專業(yè)教材,也可作為高職高專、成人高校相關(guān)專業(yè)教材。
離散數(shù)學(第二版) 內(nèi)容簡介
離散數(shù)學是現(xiàn)代數(shù)學的重要分支,是計算機相關(guān)學科的基礎(chǔ)理論課之一,學生通過學習能夠得到嚴格的邏輯推理與抽象思維能力的訓練,能夠掌握數(shù)理邏輯、集合論、圖論等知識。本書分為數(shù)理邏輯、集合論和圖論三部分。其中數(shù)理邏輯部分包括命題邏輯、謂詞邏輯兩章,集合論部分包括集合論和二元關(guān)系兩章。本書適合作為普通高等學校計算機科學與技術(shù)、網(wǎng)絡(luò)工程及信息管理等專業(yè)教材,也可作為高職高專、成人高校相關(guān)專業(yè)教材。
離散數(shù)學(第二版) 目錄
§1.1 離散數(shù)學簡介
§1.2 離散數(shù)學的地位與作用
第2章 命題邏輯
§2.1 命題與聯(lián)結(jié)詞
2.1.1 命題的概念
2.1.2 命題聯(lián)結(jié)詞
2.1.3 描述實際問題
§2.2 命題公式及其賦值
2.2.1 命題公式
2.2.2 公式的解釋與真值表
2.2.3 命題公式的分類
§2.3 等值演算
2.3.1 常用等值式
2.3.2 等值演算的應(yīng)用
§2.4 范式
2.4.1 范式的基本概念
2.4.2 主析取范式
2.4.3 主合取范式
2.4.4 主析取范式與主合取范式的意義
§2.5 命題邏輯推理
2.5.1 命題邏輯推理的基本概念
2.5.2 命題邏輯推理規(guī)則
2.5.3 形式證明方法
2.5.4 命題邏輯推理應(yīng)用
小結(jié)
習題
第3章 謂詞邏輯
§3.1 謂詞邏輯概述
3.1.1 謂詞邏輯基本概念
3.1.2 描述實際問題
§3.2 謂詞公式與解釋
3.2.1 謂詞的合式公式
3.2.2 自由變元和約束變元
3.2.3 謂詞公式的解釋
3.2.4 謂詞公式的分類
§3.3 謂詞公式的等值演算
3.3.1 謂詞公式置換規(guī)則
3.3.2 變元換名規(guī)則
3.3.3 量詞等值式
3.3.4 謂詞公式的范式
§3.4 謂詞推理
3.4.1 謂詞邏輯推理規(guī)則
3.4.2 謂詞邏輯推理常見問題
3.4.3 謂詞邏輯推理的應(yīng)用
小結(jié)
習題
第4章 集合論
§4.1 集合的表示和基本概念
4.1.1 集合與元素
4.1.2 集合的表示
4.1.3 集合的基本概念
§4.2 集合的運算
§4.3 集合的計數(shù)
4.3.1 有限集中元素的數(shù)量
4.3.2 容斥原理
4.3.3 鴿籠原理
小結(jié)
習題
第5章 二元關(guān)系
§5.1 二元關(guān)系的基本概念
5.1.1 有序?qū)εc有序n元組
5.1.2 笛卡爾積
5.1.3 二元關(guān)系的定義
5.1.4 二元關(guān)系的表示
§5.2 關(guān)系運算
5.2.1 關(guān)系的基本運算
5.2.2 關(guān)系運算相關(guān)定理
§5.3 關(guān)系的性質(zhì)
5.3.1 關(guān)系的基本性質(zhì)
5.3.2 性質(zhì)的判斷方法
5.3.3 關(guān)系運算與關(guān)系的性質(zhì)
§5.4 關(guān)系的閉包
5.4.1 關(guān)系閉包的概念
5.4.2 閉包運算方法
§5.5 等價關(guān)系
5.5.1 等價關(guān)系的概念
5.5.2 等價類
5.5.3 集合的劃分
§5.6 偏序關(guān)系
5.6.1 偏序關(guān)系的概念
5.6.2 哈斯圖
小結(jié)
習題
……
第6章 圖論
習題參考答案
參考文獻
離散數(shù)學(第二版) 作者簡介
鄒麗娜,沈陽師范大學副教授,從事計算機專業(yè)教學工作,在離散數(shù)學教學方面積累了豐富的教學實踐經(jīng)驗,曾被授予“教育bu在線教育研究中心智慧教學之星”榮譽稱號,指導學生參加國家級、省級計算機設(shè)計大賽并取得優(yōu)異成績,主持和參與了多項省級教改項目,參與遼寧省精品資源共享課建設(shè)項目,出版著作7部。 董麗薇,沈陽師范大學講師,2007年參加工作以來一直在沈陽師范大學第一線從事本科教學工作,具有豐富的教學經(jīng)驗,講授“離散數(shù)學\"課程10余年,累積了豐富的教學實踐,在本學科領(lǐng)域發(fā)表學術(shù)論文20余篇。
- >
中國歷史的瞬間
- >
史學評論
- >
推拿
- >
名家?guī)阕x魯迅:朝花夕拾
- >
小考拉的故事-套裝共3冊
- >
回憶愛瑪儂
- >
唐代進士錄
- >
有舍有得是人生