●離散數學章命題邏輯1 1.1命題與表示1 1.2聯結詞3 1.3命題公式與真值表示5 1.4對偶與範式8 1.5推理13 1.6聯結詞功能集17 1.7習題18 第2章謂詞邏輯22 2.1謂詞與命題函數22 2.2謂詞公式與翻譯24 2.3前束範式28 2.4謂詞推理29 2.5習題30 第3章集合論33 3.1集合與表示33 3.2集合運算35 3.3集合的計數與劃分40 3.4集合的基數42 3.5習題44 第關繫48 4.1關繫及其表示48 4.2關繫的性質52 4.3關繫的等價57 4.4序關繫60 4.5函數62 4.6習題65 第5章圖論70 5.1圖的概念70 5.2路與回路75 5.3圖的矩陣形式78 5.4歐拉圖與漢密爾頓圖82 5.5平面圖與著色83 5.6無向樹與生成樹87 5.7有向樹與應用89 5.8習題94離散數學目錄
內容簡介
本書主要介紹了離散數學的基本內容和一些簡單應用。全書共分5章,分別介紹命題邏輯、謂詞邏輯、集合關繫和圖論。本書整體結構清晰,概念清楚,重點突出。為了方便學生理解掌握所學知識,本書配有大量習題,分別以判斷題、單項選擇題、不定項選擇題、解答題等形式呈現,題目通俗易懂,做題靈活,方便學生隨堂測試。本書是江蘇省教育科學“十三五”規劃研究課題的專項成果。 本書可以作為本科院校計算機科學與技術、軟件工程、醫學信息學以及其他理工科專業的教材,也可供喜愛數學的有關人員閱讀。
離散數學離散數學是數學中一門有著實際應用的理論應用數學,正是由於它的發展纔推動了數字計算機和圖論的發展。現實生活中電子電路的設計、列車線路的調度、城市結點間的最優主干路徑的設計、地圖著色等問題都是離散數學著力解決的內容。 為了適應高校教學的不斷改革,強化應用,體現特色,我們結合中醫藥大學專業特點編寫了本書,力圖讓學生看懂、學明白,拋開了大量專業的晦澀難懂的描述,結合實際應用和教學實踐,用通俗化的語言進行描述。我們對本書的章節進行了精心安排,理論結合實際應用,將全書分為5章: 命題邏輯、謂詞邏輯、集合關繫和圖論,刪除了晦澀難懂的數論部分。每章後配有大量習題。 本書、5章由高華編寫,第2~4章由楊文國編寫,書後習題由石瑩、呂佳萍、瀋曉婧編寫,全書由蔡雲、張倩、胡婷婷校對,由黃鑫海、袁建軍、石仁祥完成統稿。 本書適合3學分的離散數學教學計劃使用,也可供有興趣的科技工作者自學或參考。......
"