内容简介
本书概述了城市计算的定义、框架和主要研究问题，以典型应用为案例着重介绍大数据中异构数据的融合和协同计算技术，根据城市计算的框架分成四个部分：概念和框架、城市感知和数据采集、城市数据管理、城市数据分析。第一部分（第1章和第2章）给出城市计算的概述。第二部分（第3章）介绍了数据的来源和收集方法。第三部分由第4~6章组成，介绍了空间和时空数据的数据管理。第四部分由第7~10章组成，介绍了从城市大数据中挖掘知识的基本技术和高级主题。本书适合计算机及人工智能专业的本科生、研究生和其他感兴趣的读者阅读。
目录
目录<br /><br /><br />Essential Discrete Mathematics for Computer Science<br /><br /><br />译者序<br /><br />前言<br /><br />第1章鸽笼原理1<br /><br />本章小结6<br /><br />习题6<br /><br />第2章基本证明技术8<br /><br />本章小结16<br /><br />习题16<br /><br />第3章数学归纳法18<br /><br />本章小结27<br /><br />习题27<br /><br />第4章强归纳法29<br /><br />本章小结35<br /><br />习题35<br /><br />第5章集合37<br /><br />本章小结41<br /><br />习题42<br /><br />第6章关系与函数44<br /><br />本章小结50<br /><br />习题51<br /><br />第7章可数集与不可数集52<br /><br />本章小结57<br /><br />习题58<br /><br />第8章结构归纳法60<br /><br />本章小结65<br /><br />习题65<br /><br />第9章命题逻辑68<br /><br />本章小结74<br /><br />习题75<br /><br />第10章范式77<br /><br />本章小结81<br /><br />习题81<br /><br />第11章逻辑与计算机84<br /><br />本章小结87<br /><br />习题88<br /><br />第12章谓词逻辑91<br /><br />本章小结98<br /><br />习题99<br /><br />第13章有向图101<br /><br />本章小结105<br /><br />习题105<br /><br />第14章有向图与关系108<br /><br />本章小结113<br /><br />习题113<br /><br />第15章状态与不变量115<br /><br />本章小结119<br /><br />习题119<br /><br />第16章无向图122<br /><br />本章小结130<br /><br />习题131<br /><br />第17章连通性133<br /><br />本章小结136<br /><br />习题136<br /><br />第18章着色138<br /><br />本章小结141<br /><br />习题141<br /><br />第19章有穷自动机143<br /><br />本章小结150<br /><br />习题151<br /><br />第20章正则语言153<br /><br />本章小结157<br /><br />习题158<br /><br />第21章阶的表示法160<br /><br />本章小结173<br /><br />习题173<br /><br />第22章计数175<br /><br />本章小结180<br /><br />习题180<br /><br />第23章子集计数182<br /><br />本章小结191<br /><br />习题192<br /><br />第24章级数195<br /><br />本章小结204<br /><br />习题205<br /><br />第25章递归关系207<br /><br />本章小结220<br /><br />习题220<br /><br />第26章概率222<br /><br />本章小结229<br /><br />习题230<br /><br />第27章条件概率232<br /><br />本章小结240<br /><br />习题240<br /><br />第28章贝叶斯定理242<br /><br />本章小结248<br /><br />习题248<br /><br />第29章随机变量与期望251<br /><br />本章小结264<br /><br />习题264<br /><br />第30章模运算
