-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數(shù)學(xué)(第六版) 版權(quán)信息
- ISBN:9787302592686
- 條形碼:9787302592686 ; 978-7-302-59268-6
- 裝幀:一般膠版紙
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>
離散數(shù)學(xué)(第六版) 本書特色
取材適度、通俗易懂、概念清楚、講解翔實(shí),適合作為教材供學(xué)生使用。 著重講解基本概念及其應(yīng)用,而不在定理證明等方面花費(fèi)過多的篇幅。 全書包括數(shù)理邏輯、集合論、圖論、組合分析初步、代數(shù)結(jié)構(gòu)、形式語言和自動(dòng)機(jī)初步6部分,每部分基本上自成系統(tǒng),可以根據(jù)需要取舍、組織教學(xué)! ∶空*后一節(jié)是題例分析,幫助讀者更好地理解和掌握本章的內(nèi)容,了解學(xué)習(xí)中需注意的事項(xiàng)(如容易犯的錯(cuò)誤),掌握做題的技巧! ×(xí)題豐富,難度適中,并且有配套的習(xí)題解答,見《離散數(shù)學(xué)題解(第六版)》,書號為9787302593201。
離散數(shù)學(xué)(第六版) 內(nèi)容簡介
本書是北京高等教育精品教材。內(nèi)容主要包括數(shù)理邏輯、集合論、圖論、組合分析初步、代數(shù)結(jié)構(gòu)及形式語言和自動(dòng)機(jī)初步6方面的內(nèi)容。書中概念論述清楚,內(nèi)容豐富,通俗易懂,并且著重于概念的應(yīng)用,而不著重于定理的證明。每章后均附有習(xí)題,建議學(xué)時(shí)為54~72。 本書可以作為計(jì)算機(jī)及信息管理等相關(guān)專業(yè)本科生的教材,也可以供從事計(jì)算機(jī)軟件、硬件開發(fā)和應(yīng)用的人員使用。另有配套教材《離散數(shù)學(xué)題解(第六版)》。
離散數(shù)學(xué)(第六版) 目錄
目錄
第1章命題邏輯1
1.1命題符號化及聯(lián)結(jié)詞1
1.2命題公式及分類5
1.3等值演算8
1.4范式12
1.5聯(lián)結(jié)詞全功能集17
1.6組合電路19
1.7推理理論21
1.8題例分析26
習(xí)題31
第2章一階邏輯37
2.1一階邏輯基本概念37
2.2一階邏輯合式公式及解釋42
2.3一階邏輯等值式與前束范式46
2.4題例分析49
習(xí)題52
第3章集合的基本概念和運(yùn)算56
3.1集合的基本概念56
3.2集合的基本運(yùn)算58
3.3集合中元素的計(jì)數(shù)63
3.4題例分析67
習(xí)題71
第4章二元關(guān)系和函數(shù)77
4.1集合的笛卡兒積與二元關(guān)系77
4.2關(guān)系的運(yùn)算81
4.3關(guān)系的性質(zhì)86
4.4關(guān)系的閉包88
4.5等價(jià)關(guān)系和偏序關(guān)系90
4.6函數(shù)的定義和性質(zhì)95
4.7函數(shù)的復(fù)合和反函數(shù)99
4.8題例分析107
習(xí)題113
第5章圖的基本概念119
5.1無向圖及有向圖119
5.2通路、回路和圖的連通性124
離散數(shù)學(xué)(第六版)目錄5.3圖的矩陣表示126
5.4*短路徑、關(guān)鍵路徑和著色129
5.5題例分析135
習(xí)題138
第6章特殊的圖141
6.1二部圖141
6.2歐拉圖143
6.3哈密頓圖145
6.4平面圖147
6.5題例分析152
習(xí)題155
第7章樹158
7.1無向樹及生成樹158
7.2根樹及其應(yīng)用162
7.3題例分析168
習(xí)題172
第8章組合分析初步175
8.1加法法則和乘法法則175
8.2基本排列組合的計(jì)數(shù)方法176
8.3遞推方程的求解與應(yīng)用182
8.4題例分析188
習(xí)題193
第9章代數(shù)系統(tǒng)簡介197
9.1二元運(yùn)算及其性質(zhì)197
9.2代數(shù)系統(tǒng)203
9.3幾個(gè)典型的代數(shù)系統(tǒng)207
9.4題例分析219
習(xí)題224
第10章形式語言和自動(dòng)機(jī)初步231
10.1形式語言和形式文法231
10.1.1字符串和形式語言231
10.1.2形式文法232
10.1.3形式文法的分類235
10.1.4正則文法和上下文無關(guān)文法的應(yīng)用236
10.1.5語法分析樹238
10.2有窮自動(dòng)機(jī)239
10.2.1基本概念240
10.2.2非確定型有窮自動(dòng)機(jī)240
10.2.3帶ε轉(zhuǎn)移的非確定型有窮自動(dòng)機(jī)243
10.3正則表達(dá)式246
10.4圖靈機(jī)248
10.5題例分析252
習(xí)題254
離散數(shù)學(xué)(第六版) 作者簡介
耿素云 北京大學(xué)信息科學(xué)學(xué)院教授 致力于離散數(shù)學(xué)教學(xué)20余年,出版教材和譯著多部,其中包括多部國家級規(guī)劃教材和北京高等教育精品教材。被評為北京市教書育人、服務(wù)育人先進(jìn)工作者,北京市優(yōu)秀教師,北京大學(xué)“我愛我?guī)煥D―最受學(xué)生愛戴的老師”;獲北京市教育教學(xué)成果(高等教育)一等獎(jiǎng),北京大學(xué)教學(xué)成果一等獎(jiǎng)等。 屈婉玲 北京大學(xué)信息科學(xué)學(xué)院教授,博士生導(dǎo)師 曾任中國人工智能學(xué)會(huì)離散數(shù)學(xué)專業(yè)委員會(huì)委員。 一直從事離散數(shù)學(xué)和算法的教學(xué),主要研究方向是算法設(shè)計(jì)與分析。 出版教材和譯著多部, 其中包括多部國j級規(guī)劃教材和北京高等教育精品教材。 主持過多項(xiàng)國j級教材和課程建設(shè)項(xiàng)目,所講授的離散數(shù)學(xué)課程被評為國家精品課程,兩次被評為北京大學(xué)十佳教師。獲北京市優(yōu)秀教師稱號,北京市教育教學(xué)成果(高等教育)一等獎(jiǎng),北京大學(xué)“我愛我?guī)煥D―最受學(xué)生愛戴的老師”稱號和教學(xué)成果一等獎(jiǎng)等。 張立昂 北京大學(xué)信息科學(xué)學(xué)院教授,博士生導(dǎo)師 一直從事數(shù)學(xué)和理論計(jì)算機(jī)科學(xué)的教學(xué)及研究工作,主要研究方向是計(jì)算復(fù)雜性理論和算法設(shè)計(jì)與分析,出版教材和譯著多部,其中包括多部國家級規(guī)劃教材和北京高等教育精品教材。獲教育部科學(xué)技術(shù)進(jìn)步二等獎(jiǎng),北京市教育教學(xué)成果(高等教育)一等獎(jiǎng),北京大學(xué)教學(xué)成果一等獎(jiǎng)等。
- >
名家?guī)阕x魯迅:故事新編
- >
回憶愛瑪儂
- >
有舍有得是人生
- >
煙與鏡
- >
李白與唐代文化
- >
隨園食單
- >
【精裝繪本】畫給孩子的中國神話
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作