本书原为麻省理工学院计算机科学与工程专业的数学课程讲义，谷歌技术专家参与编写，涵盖计算机科学涉及的全部基础数学知识，包括形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概率、递归等，特别强调数学定义、证明及其应用方法。本书因具有系统、完整，以及有趣、易读等明显优势，现已被全球IT技术相关从业者及准从业者奉为圭臬、广泛传阅，在人工智能日益普及的全新信息时代，更是大放异彩。本书适合计算机相关专业学生及从业人员作为数学入门教材，亦可作为统计、机器学习、数据挖掘等课程的宝贵资料。

本书主要针对控制理论的一些重要分支，分析了当前存在的瓶颈问题，展望了其发展趋势和面临的一系列挑战。全书共分为17章，分别为：优化控制研究的概述与关键问题分析、逻辑控制系统中的未解问题、系统与控制中优化理论与应用的挑战与瓶颈、分布参数系统控制、数据驱动控制系统、自抗扰控制中的若干未解问题、非线性控制的几个瓶颈问题、时间与事件驱动的采样系统控制、系统辨识在信息时代的挑战和一些瓶颈问题、自适应控制的瓶颈问题、预测控制理论的瓶颈问题、随机控制系统中的若干瓶颈问题、不连续控制系统的现状及开问题、时滞系统控制的瓶颈问题、控制系统分析设计的一个隐性瓶颈问题、鲁棒控制的瓶颈问题、怎样的受控对象更好控制；最后以附录的形式列出了征集到的部分开问题。

本书着重介绍计算材料科学的基本方法和普遍原理，为材料行为模拟计算提供全面的知识。本书在广泛的尺度上考察材料建模，从电子结构方法到显微组织演化，涵盖从原子尺度到介观尺度的全部关键方法，包括密度泛函理论、分子动力学、蒙特卡罗方法、元胞自动机和相场方法等；对用于材料建模的基本方程，提供详细易懂的解释和总结性的数学背景知识；同时给出内容广泛的附录，包括材料学、经典力学、量子力学、统计热力学和线性弹性等基本背景知识。

在计算机中处理三维几何对象的前提是其数字化表示以及如何建模得到这样的数字化表示。在不同的应用场合，这些数字化表示还会被进一步加工处理，甚至进行各种分析和模拟仿真。本书以当前数字体验、虚拟现实、3D打印等新兴研究领域中的三维离散几何处理问题为重点，系统全面地介绍作者在网格模型的几何处理、建模、分析和物理模拟等方面的研究成果，并对每一研究内容，尽量给出相关重要、里程碑式的方法，以揭示技术演化的脉络，便于读者在了解当前研究进展的同时把握未来的发展趋势。

本书在深入分析无人机模型特点的基础上，重点对多无人机智能自主协同控制问题进行研究。全书以当前国内外在该领域的最新研究成果为背景，提炼其中的关键科学问题，包括多无人机的任务决策、运动规划、编队生成、编队保持、编队重构、故障诊断与容错控制、通信网络优化与通信资源分配等。在此基础上，本书将人工智能、类脑智能与协同控制算法相结合，建立了面向多无人机系统的智能自主协同控制理论框架。

本书首先给出微型计算机的体系结构，着重介绍中央处理器、存储器、输入/输出设备及总线等部件的组成、特点、功能和工作原理；接着介绍两种典型的微处理器，即8086微处理器和MCS-51微处理器，同时分别对其存储器管理、程序设计方法(8086系统为汇编语言、MCS-51系统为C语言）、输入/输出接口(包括并行接口、串行接口及定时计数接口)及中断模式进行介绍；然后以实际应用为目标介绍输入/输出通道设计技术，包括数字量输人/输出(并行和串行)通道、模拟量输入/输出通道及人机交互通道技术；最后给出一个可编程逻辑控制器(PLC)系统的综合设计实例。

本书是关于多传感器数据融合**估计理论及其应用的一部专著，主要汇集了作者近十几年来在多传感器数据融合、多速率系统滤披、**估计理论、组合导航等方面的代表性研究成果。本书涉及的理论和方法有:Kalman滤波及其各种改进算法，异步多速率线性系统、非线性系统的滤波与融合方法，观测数据存在不可靠、随机丢包等故障条件下的数据融合状态估计方法，噪声相关环境下的数据融合方法，以及对上述各种情况鲁棒的组合导航算法等。

数理逻辑系统是形式语言、形式语义和证明的三位一体。本书讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心，也成为计算机科学和计算机软件与系统的天然基础。

本书是由第三届计算机科学技术名词审定委员会编撰完成,由全国科学技术名词审定委员会审定公布的计算机科学技术名词(第三版)。内容包括通论、理论计算机科学、计算机体系结构、计算机硬件、系统软件、软件工程、数据库、人工智能、网络与数据通信、信息安全、计算机应用、计算机交叉学科等共12个方面、64个领域的8795条名词。每条名词由编号、中文名、英文名,以及简明扼要的释文四部分组成。词典*后有中文、英文和简略名共三组术语索引。

本书内容是三维点云的核心原理、方法与技术，重点是点云模型的三维空间识别、理解与重建。全书上、下两册，分为四部分，共15章，上册包括点云获取与预处理、点云特征分析与计算和点云识别与理解；下册介绍点云重构与艺术风格化。本书为上册。

本书展示了研究的结果，已经成了政府、企业与社会评估其国家利用信息与通信技术推动发展程度的有力工具。还可以用来与其他100多个国家做比较，从而找出*实践与政策。 本书是这一系列的第五本，这一时期，全球经济总体向好，发展中国家与发达国家都进入了持续增长时期。尽管全球宏观经济的不平衡对经济复苏有一定的影响，但是信息与通信技术已经消除了早期网络泡沫引发的不确定与不稳定性，并强化了其作为经济增长和竞争力基本驱动力的地位。 然而，要完全消除发达国家与发展中国家之间的数字鸿沟并保证全球经济的持续复苏还有很长的路要走。《全球信息技术报告》指出了100多个国家／经济体在信息与通信技术就绪度和应用方面的优势和劣势。它挑选出*实践，促进了与政策制定者、企业、社会组织就如何提升网络就绪度的建设性对

本书以跨域多维大数据为主题，提出跨域多维大数据管理的系列模型和方法。结合跨域多维大数据在珠海市横琴新区的发展与建设，对跨域多维大数据的基本概念、主要特征、发展策略进行概括，探讨跨域多维大数据管理相关关键技术，构建跨域多维大数据中心和数据管理平台，实践跨域多维大数据应用，并在推广应用的基础上形成系列标准规范。

信息与通信技术(ICT)在孕育创新和推动社会与经济发展方面起着重要的作用。苏米特拉·杜德等编著的《全球信息技术报告——网络就绪度与国家创新(2007-2008)》是该系列报告的第七期，内容涵盖了我们的研究*成果，再一次提供了全球范围内网络就绪度情况的总览。我们一直致力于扩大该报告的覆盖面，今年我们对127个经济体进行了评估，占全球GDP的比重超过了95％。该报告同时展示了一个广泛的数据表格，涵盖了将近70个变量，连同论文和案例研究，特别关注了国家信息通信技术发展的许多故事。

智能的概念和内容很多，其核心思想是模拟人或其他生物的神经系统，实现各种运算和操作过程，尤其是人的智能操作。 本书由四部分组成，第一部分是概论，讨论智能计算的类型、特征、发展过程和应用问题，并介绍和其他学科的关系问题。这些学科主要是生命科学、信息科学等。第二部分是算法篇，介绍智能计算中多种不同类型的算法，详细介绍它们的计算步骤、特征、原理等有关问题，重点是讨论它们的定位问题。第三部分讨论智能的智能化问题，即这些智能计算算法在计算机和神经网络系统中的实现问题。第四部分是附录，对本书常用的数学公式、符号、名称及所涉及的一些(如数学)学科的基础知识作简单介绍和说明。