《Grassmann流形、模空间和向量丛（影印版）》收集7关于向量丛和相关主题的一系列前沿文章，它们源自2006年10月举办的Clay数学研究所的专题讨论班。向量丛的模空间在20世纪60年代还处于萌芽阶段，但是现在，就像在《Grassmann流形、模空间和向量丛（影印版）》中所展示的，它已经成为辛几何、数论、数学物理和代数几何的一个强大工具，在21世纪初已呈现出生机勃勃的发展趋势。阅读《Grassmann流形、模空间和向量丛（影印版）》这些文章需要读者具备代数几何、辛几何和泛函分析的实用知识，会吸引到诸多领域的工作者。这些开拓性思想会激励不同方向上的研究工作，例如：Langlands纲领、在曲面和三维流形上的向量丛稳定性准则、与模空间的算术性质有关的Abel簇和Brauer群上的线性系。《Grassmann流形、模空间和向量丛（影印版）》适合于对代数、辛几何和微分几何感兴趣的研究生和专业研究人员阅读。

解析几何学家与代数几何学家通常研究相同的几何结构，但运用不同的方法。虽然这种对偶方法在解决问题方面取得了令人瞩目的成功，但代数和分析之间的语言差异对于学习几何的学生和研究人员来说也是一个困难，特别是复几何学。PCMI（Park City Mathematics Institute）计划旨在通过深入浅出的语言来介绍解析几何与代数几何中的一些新进展，从而部分解决这种语言鸿沟问题。暑期学校的一个焦点是乘子理想，这是目前解析几何与代数几何两个领域都广泛关注的课题。《解析几何与代数几何：相同问题，不同方法（影印版）》源于以解析几何和代数几何为主题的PCMI暑期学校的一系列讲座。该系列讲座旨在介绍解析几何和代数几何中新进展背后所运用的高级技巧。讲座包含了许多说明性的例子、详细的计算和关于提出主题的新观点，以便增强非专业人士对这些材料的理解。

本书通过静、动态特性非线性数学模型分析干扰因素对泵压式液体火箭发动机性能的影响，试验验证模型的准确度；建模分析空间小推力高压燃烧室推进系统的响应特性；对电动气阀、气动液阀等阀门组件建立非线性数学模型并分别进行响应特性分析；对液氧/煤油/气氢三组元模型发动机系统进行建模仿真和系统稳定性分析。本书是作者长期从事液体火箭发动机理论与试验研究工作的总结，结合非线性动力学等新兴学科，从一个全新的视角来研究液体火箭发动机系统，对液体火箭发动机系统的建模、性能分析和试验研究有参考价值。

本书系统地介绍了非线性**化问题的有关理论与方法，主要包括一些传统理论与经典算法，如优化问题的**性理论，无约束优化问题的线搜索方法、共轭梯度法、拟牛顿方法，约束优化问题的可行方法、罚函数方法和SQP方法等，同时也吸收了新近发展成熟并得到广泛应用的成果，如信赖域方法、投影方法等。

无

聚合函数不同于传统的信息聚合模型，是用函数观点来描述信息聚合的数学工具，在模糊数学理论、模糊控制、模糊逻辑、决策理论和智能计算中有广泛的应用. 虽然关于它的研究可以追溯到阿贝尔的早期工作，但是它的真正兴起是近 20年的事情，目前正处在蓬勃发展阶段. 《聚合函数及其应用》将以一致模算子为主线，介绍近年来的进展及作者在这方面的工作. 主要包括：一致模算子的定义与结构；基于一致模的模糊蕴涵；基于一致模算子的函数方程.

本书是全国高等学校计算机教育研究会支持的立项教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，旨在为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。 本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材，也可作为教师、研究生或软件技术人员的参考书。

《横向补给系统高架索的非线性动力学研究》应用振动力学、非线性动力学理论与方法，介绍了横向补给系统高架索非线性动力学问题分析方法与思路。主要内容包括：高架索的静力学特性分析、高架索面内强迫振动、高架索参激振动研究、高架索面内参-强耦合振动分析，以及高架索非平面振动数值分析等。《横向补给系统高架索的非线性动力学研究》既有理论研究也有数值分析，包含了课题组近年来的一些研究成果，可为相关领域研究提供参考。

“数学是上帝用来书写宇宙的文字”蕴含在生活中的各个角落，越靠近它，你越能体会到它的不简单之处。数学不简单 精选了《*强大脑》节目中的热门项目，详细剖析了这些烧脑问题背后的数学知识并加以扩展。数字华容道的排列问题，立体一笔画的解链，迷宫中的拓扑知识，繁花规图案的摆线方程，数独的设计与求解……这一系列有趣的问题不仅可以加深你对数学的了解，而且还能开发智力、活跃大脑。本书适合喜欢数学的读者阅读。

《哥德尔不完全性定理》主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。