本书是一部难度适中的本科生数学教材.主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行这些数学证明.本书从一阶逻辑以及它在数学基础中的作用的讲述开始，深入阐述了 Trachtenbrot的不可判定性理论，基础等值理论的Fraisse特性，以及逻辑程序设计的基础这些经典的知识点. 读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相关专业的研究人员。

本书是一部优秀的李群及其表示论研究生教材，深受数学专业和物理专业的研究生好评。本书初版于1972年，以后经过多次修订重印，本书是1997年的第7次修订重印版。书中对一些问题的处理很有特色，立足点较高，但叙述十分清晰，如线性变换的Jordan-Chevalley分解、Cartan子代数的共轭定理、同构定理的证明、根系统的公理化处理、Weyl特征子公式、Chevalley群的基本结构等。

作者Halmos在遍历理论、代数逻辑、算子理论等方面的研究很有成就。本书是Springer《数学研究生教材》丛书之１８卷，是测度论的经典名著，书中对测度论作了较全面的论述，并详细介绍了前苏联和法国各学派的研究工作及其重要成果。

《凸分析讲义》主要讲述了优化理论的基础——凸分析的主要内容，是结合作者多年来在优化课程中的经验及凸分析讨论班涉及的内容总结整理而成的。《凸分析讲义》融入了大量研究优化理论用的应用案例及图片，使得对知识点的理解更加简单形象，便于本科生及研究生作为教材及优化的参考书。《凸分析讲义》基本内容包括仿射集、凸集及凸集上的运算、凸集的拓扑性质、凸函数及其运算等。

本书是教育部“国家理科基地创建名牌课程项目”的研究成果，其目的是为数学分析的习题课教学提供一套具有创新特色的教材和参考书。 本书以编著者们多年来在数学分析及其习题课方面的教学经验为基础，吸取了国内外多种教材和研究性论著中的大量成果，非常注意经典教学内容中的思想、方法和技巧的开拓和延伸，在例题的讲解中强调启发式和逐步深入，在习题的选取上致力于对传统内容的更新、补充与层次化。本次修订对第1版的基本框架（指章、节和小节）和主要内容（指命题、例题、练习题和参考题）基本上不做改动，但对书中一些证明、解法和注释等做了多处改进；增加了练习题和参考题的层次性；对部分较难的参考题的提示进行了改进。 本书分上、下两册出版。上册内容为极限理论和一元微积分，下册内容为无穷级数和多元微积分。 本书可作为高等院校理工科教师和学生在数学分析习题课方面的教材或参考书，也可以作为全国硕士研究生入学统一考试和其他人员的数学分析辅导书。

《门槛模型与空间回归案例分析》主要介绍非线性门槛理论、常用的门槛模型及空间回归案例分析。《门槛模型与空间回归案例分析》包括门槛模型的文献综述、预备概念及预备理论。《门槛模型与空间回归案例分析》采取理论与实例相结合的方式，系统介绍了时间序列门槛模型中的门槛自回归理论、非对称单位根检验、门槛协整检验和门槛格兰杰检验，面板门槛模型中的静态面板门槛回归模型、动态面板门槛回归模型和面板平滑转换回归模型，空间面板门槛模型中的静态空间面板门槛模型、动态空间面板门槛模型和空间面板平滑转移模型，以及空间面板门槛模型的扩展中的空间过滤面板门槛和空间面板门槛单位根与协整。通过理论介绍、模型介绍与案例分析，读者容易掌握相关模型，提高分析问题和解决问题的能力。

本书是作者结合沈阳建筑大学多年的教学实践编写的。其内容包括：随机事件及其概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律及中心极限定理、样本及抽样分布、参数估计、假设检验、自测试题及解答共九章。前八章配备了较多的典型例题和同步习题，并对典型例题给出了详细的分析、解答和评注。第九章是自测试题及解答。同时在附录中给出了《概率统计》课外习题全解。本书可作为理工科院校本科各专业学生的概率论与数理统计课程学习指导书或考研参考书，也可以作为相关课程教学人员的教学参考资料。

微积分入门 为日本数学家小平邦彦晚年创作的经典微积分著作，有别于一般的微积分教科书，本书突出“严密”与“直观”的结合，重视数学中的“和谐”与“美感”，讲解新颖别致、自成体系，论证清晰详尽、环环相扣，行文深入浅出、流畅易读，从原理、思想到方法、应用，处处体现了小平邦彦的深厚功力与广阔视野。作者着眼数学分析的深处，结合自身独到的思考与理解，从严谨的实数理论出发思谋微积分，通过巧妙引导，启发读者自主思考，提升对微积分的领悟理解程度。 本书是小平邦彦为后人留下的一份重要文化财富，不仅值得数学专业人士研读，对于需要微积分知识的其他理工科学生和专业人员也具有深刻启示。

本书介绍线性代数理论的基础知识，包括矩阵及其运算，线性变换及其逆变换，行列式及其计算，向量空间的基与维数，线性方程组的消元法与解的结构，矩阵的特征值与特征向量，二次型化简与*小二乘法拟合平面直线方程，全书以简单情形为起点，以解决问题为目标，通过归纳法和类比法等思维方法的应用，力求以一种比较自然的方式呈现线性代数的基础理论与方法，书中介绍的韩信点兵、点灯游戏、三阶幻方、猴子分桃、Fibonacci数列、Hanoi塔等趣味问题体现了线性代数方法存解决这类问题时的有效性与独特性。

合作行为广泛存在于包括人类社会在内的几乎所有的生命系统中，然而对合作问题的理论解释却一直未得到有效解决.经典合作理论面临困境的本质原因可能是其对合作方之间具有非对称相互关系的忽视.本书将非对称相互关系引入经典的博弈模型，探讨了非对称合作系统中合作行为的演化及其稳定性维持，从非对称的角度揭示了合作系统的演化动力与系统维持机制.研究结果为合作系统中合作模式的多样化提供了合理解释，对相关研究领域理解合作行为的演化有一定的理论启示和借鉴意义.