高等學校規劃教材：離散數學

基本信息

作者：陳光喜，丁宣浩編

出版社：電子工業出版社

ISBN： 9787121056543

出版時間： 2008-01-01

版　次： 1

頁　數： 329

裝　幀：平裝

開　本： 16開

所屬分類：圖書>科學與自然>數學

內容簡介

“離散數學”是研究離散量結構及其相互關係的數學學科，是現代數學的重要組成部分，是計算機科學與技術的理論基礎。《高等學校規劃教材：離散數學》包括離散數學中的五部分內容：數理邏輯、集合論與關係、組合數學與數論初步、圖論和代數結構。離散數學也是計算機科學與技術專業研究生入學考試、全國計算機等級考試四級（軟體方向）、同等學歷人員申請碩士學位全國統考的內容。本教材還包括了歷年計算機等級考試中的試題和同等學歷碩士學位全國統考的模擬試題。　《高等學校規劃教材：離散數學》可作為普通高校計算機科學與技術、信息與計算科學等專業本科生教材，也可作為全國計算機等級考試（四級）與同等學歷人員申請碩士學位的全國統考教材。

圖書目錄

第1篇　數理邏輯

第1章　命題邏輯基本概念

1.1　命題與命題聯結詞

1.2　命題公式及其真值表

1.3　命題邏輯等值演算

1.4　主析取範式與主合取範式

1.5　聯結詞的完備集

第2章　命題邏輯的推理理論

2.1　命題邏輯的推理演算

2.2　命題邏輯的歸結推理方法

2.3　命題邏輯的公理系統

第3章　謂詞邏輯基本概念

3.1　謂詞、個體詞與量詞

3.2　謂詞公式的分類與解釋

3.3　等值演算與前束範式、Skolem範式

第4章　謂詞邏輯的推理理論

4.1　謂詞邏輯的推理演算

4.2　謂詞邏輯的歸結推理方法

數理邏輯習題

數理邏輯套用實踐性習題

第2篇　集合論與關係

第5章　集合論初步

5.1　集合的基本概念

5.2　自然數與無窮公理、歸納法原理

5.3　有序對與笛卡兒積

第6章　二元關係

6.1　二元關係概述

6.2　關係運算及性質

第7章　等價關係與偏序關係

7.1　等價關係與集合的劃分

7.2　偏序關係與哈斯圖

7.3　函式

7.4　集合的基數

集合論與關係習題

集合論與關係套用實踐性習題

第3篇　組合數學與數論初步

第8章　組合數學初步

8.1　計數、排列與組合

8.1.1　加法法則

8.1.2　乘法法則

8.1.3　排列與組合

8.1.4　組合和排列生成算法

8.1.5　二項式定理

8.2　遞推關係和母函式

8.2.1　遞推關係

高等學校規劃教材：離散數學

基本介紹

基本信息

內容簡介

圖書目錄

相關詞條

熱門詞條