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