本书是经典的离散数学教材，为优选多所大学广为采用。本书全面而系统地介绍了离散数学的理论和方法，内容涉及逻辑和证明，集合、函数、序列、求和与矩阵，计数，关系，图，树，布尔代数。全书取材广泛，除包括定义、定理的严格陈述外，还配备大量的实例和图表说明、各种练习和题目。第7版在前六版的基础上做了大量的改进，使其成为更有效的教学工具。本书可作为高等院校数学、计算机科学和计算机工程等专业的教材或参考书。

如何通过25次简单迭代得到圆周率的4500万位有效数字？利用深刻的数学思想以及高超的算法设计，就可以产生如此有威力的算法。本书用比较浅显的数学知识，比如三角函数、级数、迭代等概念，解释如何得到圆周率计算的高效算法。希望通过这本小册子，让读者从一个很小的角度感悟到计算机时代算法的基本思想。

《MATLAB优化算法案例分析与应用（进阶篇）》是深受广大读者欢迎的《MATLAB优化算法案例分析与应用》一书的姊妹篇，即进阶篇。本书全面、系统、深入地介绍了MATLAB算法及案例应用。书中结合算法分析的理论和流程，详解了大量的工程案例及其具体的代码实现，让读者可以深入学习和掌握各种算法在相关领域中的具体应用。 本书共分两篇。篇为MATLAB常用算法应用设计，包括贝叶斯分类器的数据处理、背景差分的运动目标检测、小波变换的图像压缩、BP的模型优化预测、RLS算法的数据预测、GA优化的BP网络算法分析、分形维数应用、碳排放约束下的煤炭消费量优化预测、焊缝边缘检测算法对比分析、指纹图像细节特征提取、多元回归模型的矿井通风量计算、非线性多混合拟合模型的植被过滤带计算、伊藤微分方程的布朗运动分析、Q学习的无线体域网路由方法和

《Mathematica基础及其在数学建模中的应用（第2版）》是作者结合多年的Mathematica与数学建模课程教学实践编写的，其内容包括Mathematica软件介绍、Mathematica应用基础、Mathematica在高等数学中的应用、Mathematic性代数中的应用、Mathematica在概率统计中的应用、利用Mathematica编程、Mathematica在数值计算及图形图像处理中的应用、Mathematica在绘制分形图中的应用、Mathematica在数学建模中的应用共9章。书中配备了较多关于Mathematica与数学建模的实例，这些实例是学习Mathematica与数学建模必须掌握的基本技能。 《Mathematica基础及其在数学建模中的应用（第2版）》由浅入深，由易到难，可作为学习Mathematica与数学建模的自学用书，也可以作为数学建模培训教材。

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

云计算正在成为一种通用的计算技术，它将深刻地改变地球科学应用的传统方法和模式，解决21世纪地球科学面临的诸多挑战。本书通过17个章节及实例，从5个方面为读者介绍了全面的空间云计算知识，包括：（1）云计算的基本概念和为什么地球科学需要云计算？（2）如何将简单的地球科学应用迁移到云计算？（3）如何使云计算支撑复杂的地球科学应用？（4）如何测试一个云服务是否已准备好支撑地球科学应用？（5）什么是需要进一步研究的问题和需求？本书可为读者提供系统的空间云计算知识，指导读者了解空间云计算，应用空间云计算，进一步研究空间云计算。

如何通过25次简单迭代得到圆周率的4500万位有效数字？利用深刻的数学思想以及高超的算法设计，就可以产生如此有威力的算法。本书用比较浅显的数学知识，比如三角函数、级数、迭代等概念，解释如何得到圆周率计算的高效算法。希望通过这本小册子，让读者从一个很小的角度感悟到计算机时代算法的基本思想。

如何通过25次简单迭代得到圆周率的4500万位有效数字？利用深刻的数学思想以及高超的算法设计，就可以产生如此有威力的算法。本书用比较浅显的数学知识，比如三角函数、级数、迭代等概念，解释如何得到圆周率计算的高效算法。希望通过这本小册子，让读者从一个很小的角度感悟到计算机时代算法的基本思想。

为进一步贯彻落实“科教兴国”战略、为 专家学者提供 广阔的学术交流平台，“第十一届全国科学计量学与科教评价研讨会”以“大数据背景下‘五计学’与评价科学的新发展”为主题，会议论文成果代表了我国计量学领域的 进展和水平，内容涉及计量学的理论、方法与应用等多个方面，集中探讨了当前的学科前沿和发展方向。这些 论文内容上有以下特色 ：①学科交叉融合；②研究手段创新；③研究领域拓展；④研究内容深化。