出版時間:2010-7 出版社:陳莉、 劉曉霞 高等教育出版社 (2010-07出版) 作者:陳莉,劉曉霞 著 頁數(shù):358
前言
離散數(shù)學是計算機科學與技術的基礎理論之一。作為高等學校計算機科學與技術專業(yè)的一門核心、主干課程,離散數(shù)學課程設置的主要目的是培養(yǎng)學生的抽象思維能力和邏輯推理能力,并為后繼課程,如數(shù)據(jù)結構、編譯原理、數(shù)據(jù)庫、形式語言和自動機、人工智能以及操作系統(tǒng)等提供必要的數(shù)學基礎。西北大學的離散數(shù)學課程是陜西省高等學校精品課程。本書是編著者在第1版教材的基礎上,廣泛征求使用院校教師的意見和建議,并參考國內外相關教材,結合自身的教學科研實踐重新修訂而成的。本書力求做到體系完整、通俗易懂、簡明扼要,每章配有大量的例題、習題和一定數(shù)量的上機練習題,以加強學生理論聯(lián)系實際、主動提出問題和解決問題的能力。本書內容分為4篇,即數(shù)理邏輯、集合論、近世代數(shù)與圖論,源于數(shù)學的不同分支。每篇開始都有“開篇語”,對本篇內容與計算機科學與技術的聯(lián)系加以闡述,有助于培養(yǎng)學生的科學素養(yǎng),也有助于學生把握本部分內容的應用領域。編著者根據(jù)多年的教學實踐,著重強調抽象、難懂、容易混淆的概念,并配以大量的例題,有助于基本概念的理解和掌握。為了給學生留有接受新知識的“窗口”和“接口”,與大多數(shù)同類教材相比,本教材還在相關篇章增加了非經(jīng)典邏輯、粗糙集簡介、P。t。i網(wǎng)等內容,可作為擴展內容閱讀。為培養(yǎng)學生嚴謹、科學的思維方法和歸納、推理能力,進而產(chǎn)生對學科發(fā)展的一種自適應性,在每章的結尾均給出了“復習要點”,包括主要知識點和解題技巧兩部分。其中,解題技巧分析了各章的習題類型,并總結了針對各種問題(相關知識點)的盡可能多的解題方法和技巧。每章都配有上機實習題,使學生在加強理論學習的同時提高解決實際問題的能力。針對部分篇章的內容,編著者總結了知識結構圖(表),收于附錄一中,便于讀者對比和總結有關概念。為便于讀者參閱英文原版教材,書中附錄二給出了離散數(shù)學名詞中英文對照表。全書共15章,其中,第一、二、四、五、六章由劉曉霞教授編寫;第三、七、八、九、十、十一、十二、十三、十四、十五章及附錄部分由陳莉教授編寫;各章中的插圖均由劉小寧老師制作。陳莉教授擔任全書主編,劉曉霞教授擔任副主編。本書不僅可作為高等學校計算機科學與技術及相關專業(yè)的離散數(shù)學課程教材,也可作為考研及計算機工作者的參考書。本教材還配有電子教案,有助于增大課堂教學的信息含量;與教材配套的習題解答不久也將與讀者見面。由于編著者的水平有限,書中不當和疏漏之處在所難免,敬請讀者不吝指正。
內容概要
《離散數(shù)學(第2版)》是普通高等教育“十一五”國家級規(guī)劃教材,較全面地介紹了計算機科學與技術及相關專業(yè)所必需的數(shù)學知識。全書分為數(shù)理邏輯、集合論、近世代數(shù)與圖論4篇。第一篇包括命題邏輯、謂詞邏輯和非經(jīng)典邏輯;第二篇包括集合、關系、函數(shù)和粗糙集;第三篇包括代數(shù)系統(tǒng)、半群、群、環(huán)、域、格和布爾代數(shù);第四篇包括圖的基本概念、歐拉圖、哈密頓圖、樹、二分圖、平面圖和Petri網(wǎng)。各篇相對獨立而又有機聯(lián)系,書中的證明力求嚴格完整,例題、習題具有一定的典型性。全書內容深入淺出,便于自學,各章配有復習要點及上機練習題,便于讀者總結和提高。《離散數(shù)學(第2版)》還配有電子教案?!峨x散數(shù)學(第2版)》可作為高等學校計算機科學與技術及相關專業(yè)離散數(shù)學課程教材,也可作為考研及相關專業(yè)技術人員的參考書。
書籍目錄
第一篇 數(shù)理邏輯第一章 命題邏輯1.1 命題及聯(lián)結詞1.2 命題公式及命題公式的翻譯1.3 公式的等價性1.4 永真式、永假式及蘊涵式1.5 不同真值表的命題公式及全功能聯(lián)結詞集合1.6 對偶1.7 公式標準型——范式1.8 命題演算的推理理論復習要點習題第二章 謂詞邏輯2.1 謂詞、量詞、個體域2.2 謂詞公式和公式的翻譯2.3 約束變元與自由變元2.4 謂詞演算的等價式及蘊涵式2.5 前柬范式2.6 謂詞演算的推理理論復習要點習題第三章 非經(jīng)典邏輯簡介3.1 模態(tài)邏輯基礎3.2 模態(tài)邏輯的幾種解釋3.3 三值邏輯3.4 非單調邏輯復習要點習題第二篇 集合論第四章 集合4.1 集合的概念及其表示法4.2 集合間的關系4.3 集合的基本運算4.4 包含與排斥原理4.5 有限集合與無限集合4.6 可數(shù)集合與不可數(shù)集合復習要點習題第五章 關系5.1 關系的概念5.2 二元關系的表示及其性質5.3 等價關系與劃分5.4 相容關系與覆蓋5.5 關系的運算5.6 偏序關系復習要點習題第六章 函數(shù)6.1 函數(shù)6.2 特殊函數(shù)6.3 反函數(shù)6.4 集合的特征函數(shù)與模糊子集的概念復習要點習題第七章 粗糙集簡介7.1 粗糙集合研究概況7.2 知識的基本概念7.3 粗糙集的基本概念7.4 成員關系、粗等價和粗包含復習要點習題第三篇近世代數(shù)第八章 代數(shù)系統(tǒng)8.1 代數(shù)系統(tǒng)的概念8.2 代數(shù)系統(tǒng)的同態(tài)與同構8.3 代數(shù)系統(tǒng)的同余關系與商代數(shù)8.4 代數(shù)系統(tǒng)的積代數(shù)復習要點習題第九章 半群與群9.1 半群與含幺半群9.2 子半群與子含幺半群9.3 半群與含幺半群的同態(tài)和同構9.4 群9.5 子群與陪集9.6 群的同態(tài)與同構復習要點習題第十章 環(huán)與域10.1 環(huán)10.2 子環(huán)與理想10.3 環(huán)的同態(tài)與同構10.4 域復習要點習題第十一章 格與布爾代數(shù)11.1 用偏序集定義的格11.2 用代數(shù)系統(tǒng)定義的格11.3 特殊格11.4 布爾代數(shù)11.5 自由布爾代數(shù)復習要點習題第四篇圖論第十二章 圖的基本概念12.1 圖與子圖12.2 路徑與循環(huán)12.3 圖的矩陣表示12.4 應用舉例復習要點習題第十三章 歐拉圖與哈密頓圖13.1 歐拉圖13.2 哈密頓圖復習要點習題第十四章 樹、二分圖和平面圖14.1 樹14.2 二分圖14.3 平面圖復習要點習題第十五章 Petri網(wǎng)簡介復習要點習題附錄一知識框架附錄二名詞中英文對照表參考文獻
章節(jié)摘錄
插圖:2.習題類型及證明技巧(1)基本概念題。命題的符號化及符號化命題的自然語言翻譯、極小全功能聯(lián)結詞集的判定和證明、命題公式的概念及判定等。命題符號化一般的處理過程是先分析自然語言描述的語義,然后用正確的語法加以表示。這里,應特別注意用于表示“合取”含義的一些聯(lián)結詞,如“不但(僅)……而且……”、“既……又……”;用于表示條件聯(lián)結詞的“若……則……”,“P→Q”表示Q是P的必要條件,在自然語言表達中,要根據(jù)前提和結論的語義來判斷條件語句的前件和后件,否則會出現(xiàn)將必要條件當成充分條件,以致將真命題變成假命題,或將假命題變成真命題。有關極小全功能聯(lián)結詞集的判定,只要根據(jù)定義中的兩條,逐一驗證,若滿足定義要求,給定的聯(lián)結詞集就是極小全功能聯(lián)結詞集,否則就不是。在構造命題公式時,應概念清楚,按命題公式的定義準確書寫。(2)判斷題。包括給定的自然語言描述,哪些是命題?哪些不是命題?判斷給定的公式是否是永真式?或已知一些等價式,是否另一些等價式也是成立的?判斷給定的聯(lián)結詞集合是否是全功能聯(lián)結詞集或極小全功能聯(lián)結詞集等。
編輯推薦
《離散數(shù)學(第2版)》力求體系完整、通俗易懂,簡明扼要;每章配有大量的例題、習題和一定數(shù)量的上機練習題,以加強學生理論聯(lián)系實際、主動提出問題和解決問題的能力。為了培養(yǎng)學生嚴謹、科學的思維方法和歸納、推理的能力,產(chǎn)生對學科發(fā)展的一種自適應性,在每章的結尾均有“復習要點”,包括主要知識點和解題技巧兩部分。為了給學生留有接受新知識的“窗口”和“接口”,與大多數(shù)同類教材相比,本教材在相關篇章增加了非經(jīng)典邏輯、粗糙集簡介、Peri網(wǎng)等章節(jié),可作為擴展內容閱讀。
圖書封面
評論、評分、閱讀與下載