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

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

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

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

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

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

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

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

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

Thisvolumeisacompletelynewversionofthebookunderthesametitle，whichappearedin1981asVolume9intheseries"ProgressinMathematics，"andwhichhasbeenoutofprintforsometime.Thatbookhaditsorigininnotes（takenbyHassanAzad）fromacourseonthetheoryofLinearalgebraicgroups，givenattheUniversityofNotreDameinthefallof1978.Theaimofthebookwastopresentthetheoryoflinearalgebraicgroupsoveranalgebraicallyclosedfield，includingthebasicresultsonreductivegroups.Adistinguishingfeaturewasaself-containedtreatmentoftheprerequisitesfromalgebraicgeometryandcommutativealgebra.

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

《古今数学思想》(第2册)论述了从古代一直到20世纪头几十年中的重大数学创造和发展，目的是介绍中心思想，特别着重于那些在数学历史的主要时期中逐渐冒出来并成为最突出的、并且对于促进和形成尔后的数学活动有影响的主流工作。本书所极度关心的还有：对数学本身的看法，不同时期中这种看法的改变，以及数学家对于他们自己的成就的理解。 《古今数学思想》(第2册)的一些篇章只提出所涉及的领域中已经创造出来的数学的一些样本，可是我坚信这些样本有代表性，再者，为着把注意力始终集中于主要的思想，我引用定理或结果时，常常略去严格准确性所需要的次要条件。本书当然有它的局限性，作者相信它已给出整个历史的一种概貌。

线性和非线性代数方程组求解是众多科学与工程计算领域的基础共性任务，也是整体数值模拟的关键。本书系统而深入地介绍了迭代方法、预处理技术及其并行计算。迭代法涉及分裂方法、并行多分裂方法、Krylov子空间方法、并行Krylov子空间方法、Newton法及其变形；预处理技术涉及一般代数预处理、问题相关预处理、多层和多重网格预处理以及非线性预处理；为了方便实施，介绍了方法在诸多方面的应用，并用统一框架介绍了网上可得解法器和预处理软件包。

《离散几何讲义(英文影印版)》旨在为读者提供一本学习离散几何的引入教程，主要内容包括凸集，凸多面体和超平面的安排；几何构型的组合复杂性；交叉模型和凸集的截面；几何ramsey型结果；有限几何空间嵌入到赋范空间等。在好多应用领域，都可以涉及到这里的很多结果和方法。目次:凸性；点格和minkowski定理；凸独立子集；事件问题；凸多面体；下包络；凸集的相交模型；几何选择定理；计数k-集；高维多面体的两个应用；高维中的体积；测度集聚和球面集；嵌入有限度量空间到赋范空间。 读者对象：数学专业的本科生、研究生和相关领域的科研人员。

本书主要介绍和讨论了赋范、赋准范和赋拟范空间及其上的线性算子的基本概念、所谓“线性泛函的原理”即：Hahn-Banach定理、开映象与闭图像定理以及共鸣定理（一致有界原理），Hilbert空间的基本内容，的可分空间（改范）等价于C[a，b]以及严格凸空间，（作为上述空间推广的）拓扑向量空间的基本而有用的一些概念和特性。本书的创新之处在于把赋范空间、赋准范空间和赋拟范空间结合起来进行深入讨论（特别是创造了许多有趣的反例说明它们的差异点）。 本书适合高校数学专业师生及相关专业科研人员阅读参考。

本书特色： 经典理论与现代应用相结合。通过丰富的实例和练习，将数论的应用引入了更高的境界，同时更新并扩充了对密码学这一热点论题的讨论。