內容簡介
本書對離散數學各章節知識的要點和難點,對解題的方法和技巧作了全面的分析。本書包括命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集關繫、函數與集合的勢、圖、樹、群與環、格與布爾代數共12章內容。
本書表達嚴謹,推理縝密,提供了大量習題及其分析與解答。本書可作為高等院校計算機科學與技術及相關信息類專業的教學參考書,也適用於報考計算機專業研究生的學生作為復習指導書,也可供教師、研究生和相關人員作參考書。
本書表達嚴謹,推理縝密,提供了大量習題及其分析與解答。本書可作為高等院校計算機科學與技術及相關信息類專業的教學參考書,也適用於報考計算機專業研究生的學生作為復習指導書,也可供教師、研究生和相關人員作參考書。