作者簡介 哈瑞·劉易斯 (HarryLewis) 哈佛大學工程與應用數學學院GordonMcKay計算機科學教授,曾任哈佛學院院長。他以卓越的學術研究與教學貢獻著稱,撰寫了多部計算機科學和高等教育的著作和論文,著作《失去靈魂的卓越》成為暢銷書。作為教育家,他培養了包括比爾·蓋茨、扎克伯格在內的眾多傑出學生,是哈佛乃至全球學術界的重要人物。
目錄 譯者序
前言
第1章 鴿籠原理
本章小結
習題
第2章 基本證明技術
本章小結
習題
第3章 數學歸納法
本章小結
習題
第4章 強歸納法
本章小結
習題
第5章 集合
本章小結
習題
第6章 關係與函數
本章小結
習題
第7章 可數集與不可數集
本章小結
習題
第8章 結構歸納法
本章小結
習題
第9章 命題邏輯
本章小結
習題
第10章 範式
本章小結
習題
第11章 邏輯與計算機
本章小結
習題
第12章 謂詞邏輯
本章小結
習題
第13章 有向圖
本章小結
習題
第14章 有向圖與關係
本章小結
習題
第15章 狀態與不變數
本章小結
習題
第16章 無向圖
本章小結
習題
第17章 連通性
本章小結
習題
第18章 著色
本章小結
習題
第19章 有窮自動機
本章小結
習題
第20章 正則語言
本章小結
習題
第21章 階的表示法
本章小結
習題
第22章 計數
本章小結
習題
第23章 子集計數
本章小結
習題
第24章 級數
本章小結
習題
第25章 遞歸關係
本章小結
習題
第26章 概率
本章小結
習題
第27章 條件概率
本章小結
習題
第28章 貝葉斯定理
本章小結
習題
第29章 隨機變數與期望
本章小結
習題
第30章 模運算
本章小結
習題
第31章 公鑰密碼學
本章小結
習題
詳細資料或其他書籍請至台灣高等教育出版社查詢,查後請於客服中心或Line或本社留言板留言,我們即儘速上架。