计算机 类型
可以朗读 语音朗读
250千字 字数
2025-05-01 发行日期
展开全部

主编推荐语

深入浅出地讲解离散数学的基本概念与原理。

内容简介

本书概述了城市计算的定义、框架和主要研究问题，以典型应用为案例着重介绍大数据中异构数据的融合和协同计算技术，根据城市计算的框架分成四个部分：概念和框架、城市感知和数据采集、城市数据管理、城市数据分析。

第一部分（第1章和第2章）给出城市计算的概述。第二部分（第3章）介绍了数据的来源和收集方法。第三部分由第4～6章组成，介绍了空间和时空数据的数据管理。第四部分由第7～10章组成，介绍了从城市大数据中挖掘知识的基本技术和高级主题。

目录

  • 版权信息
  • 译者序
  • 前言
  • 第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章 公钥密码学
  • 本章小结
  • 习题
  • 推荐阅读
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

机械工业出版社

机械工业出版社是全国优秀出版社，自1952年成立以来，坚持为科技、为教育服务，以向行业、向学校提供优质、权威的精神产品为宗旨，以“服务社会和人民群众需求，传播社会主义先进文化”为己任，产业结构不断完善，已由传统的图书出版向着图书、期刊、电子出版物、音像制品、电子商务一体化延伸，现已发展为多领域、多学科的大型综合性出版社，涉及机械、电工电子、汽车、计算机、经济管理、建筑、ELT、科普以及教材、教辅等领域。