內容簡介
本書介紹離散數學的基本理論及方法。主要由命演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集合論、關繫、函數與集合的勢、圖、樹與有序樹、群與環、格與布爾代數等12部分組成。
本書是高等院校計算機科學與技術及相關專業的教材,也可以作為教師、研究生或軟件工程技術人員的參考書。
本書是高等院校計算機科學與技術及相關專業的教材,也可以作為教師、研究生或軟件工程技術人員的參考書。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|