近代 数理逻辑学家王浩在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，他一生痴迷于哲学研究，是对世界哲学作出过深刻贡献的华裔学者。本书是王浩的代表作，是其正面集中阐释自己哲学思想的作品。循着从柏拉图到哥德尔的“数学-哲学家”传统，王浩在书中 对实质事实主义一般立场进行了长篇阐发；广泛、深入地讨论了数学哲学的诸议题；探索了心灵与机器、数学与计算机、知识与生活等话题；还重点考察了逻辑和数学领域的一些基本概念。此次中译本 出版，由专业译者精心翻译，以助读者 好地理解王浩的数学哲学思想。

本书作为第四版，在第三版的基础上增加了一些由新技术产生的新的分析计算方法，并加入了矩阵、线性代数等一些基础计算方法。内容上系统阐述了有限单元法的基本原理及其工程应用，包括杆系结构，弹性力学平面问题，单元分析，整体分析，平面问题高次元，弹性力学轴对称问题，弹性力学空间问题，形函数、坐标变换、等参数单元与无线单元，各种平面与空间单元的比较、应用实例，弹性薄板，弹性薄壳，轴对称壳，弹性厚板和厚壳，流体力学问题，热传导问题，非线性有限元分析方法，塑性力学问题，混凝土徐变、一般黏弹性及黏塑性问题，弹性稳定问题，大位移问题，断裂力学问题，结构动力学问题，岩石力学问题，土力学问题，混凝土与钢筋混凝土结构，工程反分析与数值监控，网络自动生成、误差估计与自适应技术，矩阵，线性代数方程组，变分

本书沿着一条简捷的途径，着重地介绍了代数K-理论在拓扑学、几何学、数论和算子代数中有重要应用的K0群、K1群及K2群的基本理论，K0群的三种等价定义，K1群和K2群的同调刻画，以及它们之间的正合列等，可将读者带到这一学科的前沿。同时还介绍了类数计算及K2群计算方面的一些基本结果及近十年来外学者得到一些新成果。全书自成体系，学过线性代数和近世代数的读者都可阅读。本书可作为数学系高年级学生及研究生的，也可供高校数学教师及数学研究人员阅读和参考。

伍鸿熙、沈纯理、虞言林编著的《黎曼几何初步》是黎曼几何的一本入门教材。本书从黎曼度量及联络出发，介绍了黎曼流形研究中的各种基本概念和技巧。以测地线的研究为重点讨论了各种形式的比较定理和Morse指数定理，同时还介绍了子流形几何学。 书中也勾画了近代微分几何中的一些重大成果，如球面定理、正质量猜想以及几乎平坦流形等，还列举了当今微分几何研究中一些尚待解决的问题。 本书可作为大学、师范院校数学系高年级选修课教材以及研究生教材，也可供数学工作者参考。

哥德巴赫猜想、孪生素数、素数分布、华林问题，除数问题、圆内整点问题、整数分拆及黎曼猜想等数论问题吸引了古今无数的数学爱好者。《解析数论基础》全面详细地讨论了迄今为止研究这些问题的重要的分析方法、理论和结果，介绍了它们的历史及新进展，是研究这些问题必不可少的入门书。

本书针对学习过初级微积分以及概率论与统计学预备课程的高年级大学生或刚入学的研究生。不要求正式学习过概率论。章回顾了本书所需要的关于概率论和微积分的知识。 本书着重讲述了概念的开发，并通过生产、金融和操作领域的应用说明了这些概念。本书扩展了《运筹学——应用范例与解法》中所讲述的概率模型，并更加综合地介绍了一些流行的概念。本书应该适用于下列课程： 企业管理学系、运筹学系、数学系、商业学校，以及雇主财务计划中提供的概率论模型或过程中的课程。 运筹学系列中的第二门课程。 为导引性课程提供足够材料的财务工程学中的课程。

本书是代数组合的入门教材，主要内容包括图中的游动、Randon变换、偏序集的Sperner性质、杨图、杨表、矩阵树定理、有向树、定向树以及组合数学中的一些“珍宝”。作者将代数学中一些简单和基本的工具巧妙地应用到组合数学中，每章论述一个经典且有趣的课题，章末简要阐明了所述问题产生的历史背景、相关故事以及现有的应用领域。最后精选的练习指出了相关问题进一步的发展方向。

《试验设计及其优化》从技术与应用观点出发，重点阐述了试验设计及其数据处理的优良化方法和各种分析技术，以进一步提升试验设计的水平及其优化的成效。 全书共分11章，除介绍试验设计的基本原理、常用方法外，还介绍了试验设计的全新方法、全新研究成果及应用实例。此外，还介绍了试验设计的常用统计软件。 《试验设计及其优化》可作为理、工、农、医、经济、管理等专业本科生的教学用书，也可供科研人员、工程技术人员、设计人员、实验人员、营销人员和管理人员参考。

《动力系统反控制方法及其应用》详细论述了离散时间系统、连续时间系统和切换系统反控制（即混沌化）的研究方法与应用及其电路设计与实现，共20章。～9章主要介绍离散时间系统反控制，包括数学预备知识与混沌的基本概念，离散时间系统反控制的Chen-Lai算法及其电路实现，离散时间系统反控制的Wang-Chen算法，单峰和多峰映射，离散正弦多峰映射，线性取模运算多峰映射，混沌控制与同步，离散时间系统的单变量反控制、同步及其在混沌序列密码中的应用，高维广义超混沌猫映射及其在分组图像加密中的应用等。0～19章主要介绍连续时间系统与切换系统的反控制，包括连续时间系统与切换系统反控制方法概述，连续时间线性系统的反控制，连续时间非线性系统的反控制，三维切换系统的反控制，四维切换系统的反控制，具有指标1鞍焦平衡点和相同特征平面的

集合论的主要概念（基数、序数、超限归纳）对于所有数学家都是最基础的，并非于研究数理逻辑或集合论拓扑的专家。通常分析、代数或拓扑学的课程只会给出基础集合论的一个概貌，然而事实上它足够重要、有趣和简单，值得慢慢地学习品味。 《集合论基础》使得读者能够以悠闲品味的方式学习集合论的内容，它适用于广大范围的各类读者，从本科生直至那些想要最终掌握超限归纳并且理解它为何总被Zorn引理替代的数学家。 《集合论基础》介绍了“朴素”（非公理化）集合论的所有主要内容：函数、基数、有序集和良序集、超限归纳及其应用、序数、序数上的运算。《集合论基础》还包括对Cantor-Bernstein定理、Cantor的对角构造、Zorn引理、Zermelo定理和Hamel基的讨论和证明。此外，书中还给出了150多道问题，循序渐进地揭示了集合论基本思想和方法，内

《数学机械化（中文版）》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《数学机械化（中文版）》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。 全书分成三个部分：部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，《数学机械化（中文版）》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。 《数学机械化（中文版）》可供数学工作者，数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。