計算機科學中的離散數學基礎 Essential Discrete Mathematics for Computer Science
- 出版商: 機械工業
- 出版日期: 2025-05-01
- 定價: $594
- 售價: 8.5 折 $505
- 語言: 簡體中文
- 頁數: 212
- ISBN: 7111776135
- ISBN-13: 9787111776130
-
相關分類:
離散數學 Discrete-mathematics
- 此書翻譯自: Essential Discrete Mathematics for Computer Science
立即出貨
相關主題
商品描述
本書概述了城市計算的定義、框架和主要研究問題，以典型應用為案例著重介紹大數據中異構數據的融合和協同計算技術，根據城市計算的框架分成四個部分：概念和框架、城市感知和數據采集、城市數據管理、城市數據分析。 部分（第1章和第2章）給出城市計算的概述。第二部分（第3章）介紹了數據的來源和收集方法。第三部分由第4~6章組成，介紹了空間和時空數據的數據管理。第四部分由第7~10章組成，介紹了從城市大數據中挖掘知識的基本技術和 主題。本書適合計算機及人工智能專業的本科生、研究生和其他感興趣的讀者閱讀。
作者簡介
哈瑞·劉易斯（Harry Lewis） 哈佛大學工程與應用數學學院Gordon McKay計算機科學教授，曾任哈佛學院院長。他以 的學術研究與教學貢獻著稱，撰寫了多部計算機科學和高等教育的著作和論文，著作《失去靈魂的 》成為暢銷書。作為教育家，他培養了包括比爾·蓋茨、紮克伯格在內的眾多傑出學生，是哈佛乃至 學術界的重要人物。雷切爾·紮克斯（Rachel Zax）谷歌公司的軟件工程師。
目錄大綱
譯者序
前言
第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章 公鑰密碼學
本章小結
習題
