計算機科學中的離散數學基礎 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
立即出貨
買這商品的人也買了...
-
資料庫理論與實務 Access 2007$650$514 -
大話設計模式$620$490 -
無瑕的程式碼－敏捷軟體開發技巧守則 + 番外篇－專業程式設計師的生存之道 (雙書合購)$940$700 -
Kent Beck 的實作模式 (Implementation Patterns)$320$272 -
精通 Python｜運用簡單的套件進行現代運算 (Introducing Python: Modern Computing in Simple Packages)$780$616 -
程序員的數學3 : 線性代數$474$450 -
學會 Python - 從不懂，到玩上手！$550$468 -
無瑕的程式碼－敏捷完整篇－物件導向原則、設計模式與 C# 實踐 (Agile principles, patterns, and practices in C#)$790$616 -
TensorFlow + Keras 深度學習人工智慧實務應用$590$460 -
Soft Skills 軟實力｜軟體開發人員的生存手冊 (Soft Skills: The software developer's life manual)$520$411 -
無瑕的程式碼－整潔的軟體設計與架構篇 (Clean Architecture: A Craftsman's Guide to Software Structure and Design)$580$452 -
I'm From Taiwan / Programmer 阿喵宅造型貼紙7X7公分 (粉色)$69$60 -
阿喵宅開發順利春聯 2入$68$68 -
白話演算法！培養程式設計的邏輯思考 (Grokking Algorithms: An illustrated guide for programmers and other curious people)$520$468 -
比 Docker 再高階一步：使用 Harbor 完成 Helm Chart 容器及鏡像雲端原生管理$880$695 -
超圖解 ESP32 深度實作$880$695 -
資料科學的建模基礎 : 別急著 coding！你知道模型的陷阱嗎？$599$509 -
Final Cut Pro 職人剪片全攻略：一台 Mac 包辦影音剪輯、素材處理、調色技巧，打造流暢的高質感影片！$520$442 -
Final Cut Pro 視頻後期剪輯零基礎入門到精通$599$569 -
線性代數與 Python 解法$419$398 -
AI 繪圖邁向視覺設計$720$569 -
硬件設備安全攻防實戰$719$683 -
Ollama 本地 AI 全方位攻略：命令列功能、五大主題測試、RAG、Vibe Coding、MCP，一本搞定所有實戰應用$750$593 -
Vibe Coding - Cursor 教戰手冊$880$695 -
最佳拍檔完全體 -- Linux 和晶片開發強強出擊$890$703
商品描述
本書概述了城市計算的定義、框架和主要研究問題，以典型應用為案例著重介紹大數據中異構數據的融合和協同計算技術，根據城市計算的框架分成四個部分：概念和框架、城市感知和數據采集、城市數據管理、城市數據分析。 部分（第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章 公鑰密碼學
本章小結
習題
