離散數學第二版

《離散數學第二版》是1996年西安電子科技大學出版社出版的圖書，作者是方世昌。本書適合於高等理工科院校計算機科學、工程和套用專業作教材,也可供教師、研究生、高年級學生和有關工程技術人員作參考書。

圖書簡介：

作/譯者：方世昌出版社：西安電子科技大學出版社

出版日期：1996年11月 ISBN：9787560604596 [十位:7560604595]

頁數：304 重約：0.467KG

內容提要：

本書介紹計算機專業最需要的離散數學基礎知識,共8章,包括數理邏輯、集合論、二元關係、函式、無限集合、代數、格與布爾代數、圖論等,並含有較多的與計算機科學和工程有關的例題和習題。

圖書目錄：

第一章 數理邏輯

1.1 命題

1.2 重言式

1.3 範式

1.4 聯結詞的擴充與歸約

1.5 推理規則和證明方法

1.6 謂詞和量詞

1.7 謂詞演算的永真公式

1.8 謂詞演算的推理規則

第二章 集合

2.1 集合論的基本概念

2.2 集合上的運算

2.3 歸納法和自然數

2.4 語言上的運算

2.5 集合的笛卡兒乘積

第三章 二元關係

3.1 基本概念

3.2 關係的合成

3.3 關係上的閉包運算

3.4 次序關係

3.5 等價關係和劃分

第四章 函式

4.1... [顯示全部]