本书介绍了关于数学心理学的一般考察、关于无意识的讨论、无意识和发现的关系、准备阶段的逻辑和机遇、最后阶段的有意识工作、不同类型的数学心理、直觉中的不解之谜、对数学研究的一般性指导等。

柯尔莫戈洛夫喜欢数学，研究数学，培养数学人才，对数学和数学教育的发展做出了重大贡献。本书介绍了柯尔莫戈洛夫在数学学习和数学研究方面的心路历程和成长经历，对数学人才的培养过程，并首次将柯尔莫戈洛夫写给中学生的经典通俗数学读物介绍给中国读者。本书的最后，是数学家阿尔诺德（柯尔莫戈洛夫的学生）对柯尔莫戈洛夫的回忆文章。

数据作为一种新的生产要素，正与资本、劳动等要素相结合，以前所未有的广度和深度重构生产和生活方式。然而，数字经济在生活性服务业中的过度倾斜，虽然使智能化生产和智能化流通发生了根本性变化，但仅仅缩短了生产到消费的距离，尚未给生产带来颠覆性革新。因此，必须以制造业为底座，推动数字经济与实体经济深度融合，将数据规模优势转化为数据胜势，巩固壮大实体经济根基。这既是历次技术革命浪潮带给我们的启示，也是新发展格局下实现经济高质量发展的要求。

库尔特·哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的内在工作过程吗？当研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰·L.卡斯蒂和维尔纳·德波利为我们描述了一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且波及哲学、语言学和计算机科学，甚至还包括宇宙学。

在经典物理学中，引入场是为了构建因果和局部的物理定律，《相对论量子场论：第2卷 路径积分形式体系（英文）》以引入场为主要内容，以《相对量子场论（第一卷）》介绍的内容为基础，重新使用了现代路径积分形式，重点关注量子电动力学和色动力学的应用。全书分为8章，具体内容包括量子力学的路径积分公式、标量场的路径积分、费米子场的路径积分、阿贝尔规范场的路径积分、群与李群、量子色动力学的路径积分公式、QCD的重正化、场论中的拓扑对象、异常的有效拉格朗日量、手征性异常的摄动理论等内容。

本书是数值分析家劳埃德·尼克·特雷费森教授的心得之作。除了回顾早期学习数学的成长过程，以及深耕数值分析领域的心路历程，本书还体现了特雷费森教授对数学本身的深刻思考、对纯数学和应用数学的真切感悟，以及对数学所面临的挑战的反思。 本书适合对数学史、数学思想和数学教育，以及纯数学和应用数学感兴趣的所有读者。

作为变量数学发展的第一个决定性步骤，解析几何的建立对于微积分的诞生有着不可估星的作用。解析几何是数学中一个很重要的知识，它的优点在于使数形结合，把几何问题化作数、式的演算（当然反过来，数、式也可以用几何方法去处理），因而有一定的章程可以遵循，不需要挖空心思去寻找解法。本书主要运用向量代数来研究曲线及曲面等几何问题，并且对其应用进行介绍。本书内容精炼、重点突出，可作为理工科和其他非数学类专业高等院校的教学用书，也可供考研生、自学者和广大科技工作者参考。

本书系统介绍了数学建模的理论知识和求解方法，结合典型实例全面阐述了数学建模解决实际问题的基本过程。内容涵盖了数学建模课程中的一些基本方法和基本模型，包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型等。本书按照模型建立、模型求解、模型应用的框架结构进行编写，体现了理论知识、实际问题与数学软件及算法的有机融合，使方法好用且易实现，深入浅出，通俗易懂。

本教材主要介绍计算机理论与应用所需要的数理逻辑、集合论、群论以及图论等主要内容，重点介绍离散结构的构造、性质及其相关推理证明方法，面向计算机的现代数学观点与方法，注重培养学生的抽象思维能力、逻辑推理能力，以及应用离散数学于计算机理论与工程问题的分析、建模、推理和论证的能力。教材采用问题驱动模式，从表达、理论、工程应用几个层面设计主要内容，注重将数理逻辑、集合论、群论以及图论的发展历程中的相关思想、方法融入有关问题的探讨过程中，引导学生应用有关离散结构表达计算机科学相关理论与工程应用问题，结合计算机科学理论与工程应用，理解抽象、理论与设计等三个计算机科学的三个学科形态，并自然有效地融入思政元素。

《几何基础》是数学大师希尔伯特的一部名著，首次发表于1899年，该书第一次给出了完备的欧几里得几何公理系统。全体公理按性质分为五组（即关联公理、次序公理、合同公理、平行公理和连续公理），他对它们之间的逻辑关系作了深刻的考察，精确地提出了公理系统的相容性、独立性与完备性要求。为解决独立性问题，他的典型方法是构作一个模型，不满足所论的公理，但却满足所有其他公理。采用这种途径可赋予非欧几何以严密的逻辑解释，同时开拓了建立其他新几何学的可能性。对于相容性问题，他的重大贡献是借助于解析几何而将欧氏几何的相容性归结为初等算术的相容性。上述工作的意义远超出了几何基础的范围，而使他成为现代公理化方法的奠基人。