出版時間:2007-10 出版社:清華大學出版社 作者:吳晟 頁數(shù):264
內(nèi)容概要
《離散數(shù)學》共分為數(shù)理邏輯、關系、圖論、代數(shù)系統(tǒng)及組合分析初步5個部分,其中包括命題邏輯、謂詞邏輯、非經(jīng)典邏輯、集合、二元關系、函數(shù)、圖論、代數(shù)系統(tǒng)以及組合計數(shù)等內(nèi)容?!峨x散數(shù)學》既注重各部分內(nèi)容之間的聯(lián)系,又注重基礎理論及其實際應用。各章配有小結及大量的例題分析,除第2章外每章本有兩套習題,習題一供學習者熟悉本章概念、理論和方法;習題二供學習者進行自我檢測?! 峨x散數(shù)學》可作為高等院校計算機及其相關專業(yè)的本科生、研究生教材,也可供從事計算機工作的科學技術人員以及相關人士使用或參考,還可用作大學畢業(yè)生的考研復習用書。
書籍目錄
第1篇 數(shù)理邏輯第1章 數(shù)理邏輯1.1 命題及命題聯(lián)結詞1.2 命題公式及命題公式之間的邏輯關系1.3 謂詞與量詞1.4 謂詞公式及謂詞公式之間的邏輯關系1.5 范式1.6 數(shù)理邏輯推理理論1.7 命題邏輯推理系統(tǒng)N1.8 謂詞邏輯推理系統(tǒng)NL小結習題一習題二第2章 非經(jīng)典邏輯介紹2.1 模態(tài)邏輯2.2 多值邏輯2.3 非單調(diào)邏輯2.4 模糊邏輯2.5 道義邏輯小結習題一第2篇 關系第3章 集合基礎3.1 集合的概念和表示法3.2 集合的關系3.3 集合的基本運算3.4 包含排斥原理小結習題一習題二第4章 關系4.1 笛卡兒積與序偶4.2 二元關系的定義和表示4.3 關系的運算4.4 關系的性質(zhì)4.5 關系的閉包4.6 等價關系與集合的劃分4.7 偏序關系與偏序集小結習題一習題二第5章 函數(shù)第3篇 圖論第6章 圖論中的基本概念第7章 特殊圖第4篇 代數(shù)系統(tǒng)第8章 代數(shù)系統(tǒng)第9章 幾個特殊的代數(shù)系統(tǒng)第5篇 組合分析初步第10章 排列與組合第11章 鴿巢原理附錄 各章習題二答案參考文獻
圖書封面
評論、評分、閱讀與下載