離散數(shù)學(xué)及應(yīng)用

定　價：￥29.50

作　者：	劉鐸編著
出版社：	清華大學(xué)出版社
叢編項：	高等學(xué)校計算機(jī)專業(yè)規(guī)劃教材
標(biāo)　簽：	大學(xué)教材教輔教材教輔

購買這本書可以去

ISBN：	9787302320159	出版時間：	2013-06-01	包裝：	平裝
開本：	大32開	頁數(shù)：	289	字?jǐn)?shù)：

內(nèi)容簡介

　　離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的一個重要分支，是計算機(jī)專業(yè)和軟件工程專業(yè)的基礎(chǔ)主干課程，是進(jìn)一步學(xué)習(xí)后續(xù)課程的研究和開發(fā)的基礎(chǔ)?！陡叩葘W(xué)校計算機(jī)專業(yè)規(guī)劃教材：離散數(shù)學(xué)及應(yīng)用》是根據(jù)作者多年教學(xué)經(jīng)驗編寫而成的，著重講解離散數(shù)學(xué)的基本概念、基本方法及其應(yīng)用.并給出大量典型例題和習(xí)題，以及若干應(yīng)用案例和實驗項目。全書共分9章，包括樸素集合論.數(shù)論基礎(chǔ)、計數(shù)基礎(chǔ)、命題邏輯、謂詞邏輯、二元關(guān)系.函數(shù)、偏序關(guān)系與格、圖論與樹等?！陡叩葘W(xué)校計算機(jī)專業(yè)規(guī)劃教材：離散數(shù)學(xué)及應(yīng)用》結(jié)構(gòu)緊湊、內(nèi)容精煉、體系嚴(yán)謹(jǐn)、語言流暢、講解詳細(xì)，可作為高等院校計算機(jī)或軟件工程專業(yè)本科生的“離散數(shù)學(xué)”課程教材，也可供其他專業(yè)學(xué)生和科技人員閱讀參考。

作者簡介

　　劉鐸，1978年9月生，北京人.2006年于清華大學(xué)計算機(jī)科學(xué)與技術(shù)系獲工學(xué)博士學(xué)位，現(xiàn)為北京交通大學(xué)軟件學(xué)院副教授，主要研究方向為應(yīng)用密碼學(xué)、信息安全、組合算法的設(shè)計與分析，主持和參與國家級、省部級科研項目多項，以第一作者在各類重要刊物和會議上發(fā)表論文二十余篇，目前主要承擔(dān)《離散數(shù)學(xué)》、《算法設(shè)計與實踐》等課程的教學(xué)與建設(shè)。

圖書目錄

第1章基礎(chǔ)知識
1.1 集合與序列
1.1.1 集合的基本概念
1.1.2 集合的運(yùn)算及性質(zhì)
1.1.3 序列
1.2 數(shù)論基礎(chǔ)
1.3 計數(shù)基礎(chǔ)
1.3.1 加法法則與乘法法則
1.3.2 排列與組合
1.3.3 鴿巢原理
1.3.4 有限集的計數(shù)——容斥原理
1.3.5 遞推關(guān)系
1.4 布爾矩陣及其運(yùn)算
習(xí)題一

第2章命題邏輯
2.1 命題邏輯的基本概念
2.2 命題公式及其分類
2.3 命題邏輯的等值演算
2.4 對偶與范式
2.4.1 對偶
2.4.2 析取范式和合取范式
2.4.3 主范式
2.5 命題聯(lián)結(jié)詞的完備集
2.6 命題邏輯的推理
習(xí)題二

第3章謂詞邏輯
3.1 謂詞、量詞與自然語句形式化
3.1.1 謂詞
3.1.2 量詞
3.1.3 自然語句形式化
3.2 謂詞公式及分類
3.3 謂詞邏輯的等值演算
3.4 前束范式
3.5 謂詞邏輯的推理
習(xí)題三

第4章二元關(guān)系
4.1 關(guān)系及其表示
4.1.1 有序?qū)εc笛卡兒積
4.1.2 二元關(guān)系的定義
4.1.3 二元關(guān)系的表示
4.2 關(guān)系的運(yùn)算
4.2.1 關(guān)系的基本運(yùn)算
4.2.2 關(guān)系的冪和道路
4.3 關(guān)系的性質(zhì)
4.3.1 關(guān)系性質(zhì)的定義和判斷
4.3.2 關(guān)系運(yùn)算對性質(zhì)的保持
4.4 關(guān)系的閉包
4.5 等價關(guān)系和集合的劃分
4.5.1 等價關(guān)系、等價類和商集
4.5.2 集合的劃分
4.5.3 等價關(guān)系與劃分的一一對應(yīng)
4.6 關(guān)系在計算機(jī)中的表示方法
習(xí)題四

第5章函數(shù)
5.1 函數(shù)的定義
5.2 函數(shù)的性質(zhì)
5.3 函數(shù)的復(fù)合
5.4 逆函數(shù)
5.5 計算機(jī)科學(xué)中的常用函數(shù)
……

第6章偏序關(guān)系
第7章代數(shù)結(jié)構(gòu)
第8章圖論
第9章樹及其應(yīng)用

附錄A 課程綜合實驗
附錄B 名詞英漢對照表
附錄C 使用Mathematica學(xué)習(xí)離散數(shù)學(xué)
參考文獻(xiàn)