本書從計算機科學的角度出發,面向計算機相關專業學生的需求,以教學活動為驅動,
輔以大量的習題,系統地介紹計算機科學領域中離散數學的理論和方法。
本書主要涵蓋計數、密碼編碼學與數論、邏輯與證明、歸納、遞歸、概率以及圖論等內容。
書中對定理、引理和推論的推導嚴密,同時配備大量的例題、圖表、應用實例。
本書不僅適合作為高校計算機相關專業離散數學課程的教材,也適合作為計算機行業的技術人員的參考書。
本書從計算機科學的角度出發,面向計算機相關專業學生的需求,以教學活動為驅動,
輔以大量的習題,系統地介紹計算機科學領域中離散數學的理論和方法。
本書主要涵蓋計數、密碼編碼學與數論、邏輯與證明、歸納、遞歸、概率以及圖論等內容。
書中對定理、引理和推論的推導嚴密,同時配備大量的例題、圖表、應用實例。
本書不僅適合作為高校計算機相關專業離散數學課程的教材,也適合作為計算機行業的技術人員的參考書。