《混沌数学基础》主要从数学角度讲述混沌的概念、性质、基本理论与解析判定方法。《混沌数学基础》引入了Li—Yorke混沌与Devaney混沌概念并讨论其条件化简问题，证明了三角帐篷映射、蒙古包映射、符号空间上移位映射以及平面Smale马蹄映射等映射或系统的混沌性，给出了“周期三意味着混沌”的详细证明，证明了Devaney混沌与Li—Yorke混沌等在拓扑共轭下的不变性，讲述了拓扑熵及其与Li—Yorke混沌的关系等并展示了用Melinkov定理判别系统混沌性的方法。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰Vrije，印度理工学院在内的多个国家几十所高校采纳为。

该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。

本书的宗旨是帮助读者全面、系统地复习高等数学的内容，深入理解基本概念和基本理论，学习和掌握解题方法及解题技巧；追求的目标是通过对解题方法和技巧的分析，使读者能举一反三、触类旁通。本书每章均有一些读者想掌握、易掌握但尚未掌握或根本上不知道的方法和技巧，例如，一些类型的极限的教求法；有关微积分中值定理命题的证明；定积分、重积分的有关命题的证明；不等式的证明；无穷级数求和的方法；常微分方程中积分因子的求法等，均介绍了读者见所未见的新方法和新技巧。按当前考试特点及命题的发展趋势修订的本书，将更适合广大读者，尤其是考研应试者的需要。本书可作为本科生、大专生、电大、夜大、职大生的参考书，也可作为青年教师和科技工作者的参考书。

国际大学生数学竞赛是国际上较高层次的大学生参加的高级别数学竞赛。本书汇集了从第1届至17届国际大学生数学竞赛的试题及其解答． 本书适合于大学数学系师生及相关专业研究人员和数学爱好者使用。

《铁路线路设计（第2版）》提出并贯彻了由面到带、由带到线、由线到段、由段到点的线路设计理念并依此组织教材编写。重点介绍铁路选线、铁路定线、铁路线形、铁路车站，简要介绍改建及扩建措施，包括磁浮铁路、直线电机地铁、直线电机独轨等新型轨道交通及其线路设计特点。

国际大学生数学竞赛是国际上较高层次的大学生参加的高级别数学竞赛。本书汇集了从第1届至17届国际大学生数学竞赛的试题及其解答． 本书适合于大学数学系师生及相关专业研究人员和数学爱好者使用。

该书介绍了一些的数论问题，适合不同层次的读者阅读。一方面，作者不需要更宽泛的数学知识；事实上，只要在数学方面接受过正规的学校教育就足够了。另一方面，作者探讨了一些真正的数学兴趣问题，并以更易读懂的方式讲解，因此，数学知识丰富的作者在阅读此书时会感到非常愉悦和有益。该书中几个值得注意的点：数学归纳法的详细讲述和通过该法证明的独特的因子分解定理。

极限是从初等数学跨向高等数学的一座重要桥梁。在青少年阶段或更早吸收了解极限先进思想和概念，无疑对他们的人生发展有着不可估量的影响。 本书图文并茂，根据青少年的思维特点，沿初涉极限、计算极限、研究极限和极限的主线，生动详尽地论述了古今无数大家对于极限的探索和认识过程、他们遇到的千难万阻、他们开辟的创新之路和他们给人类留下的巨大财富。 有志青少年读者已经不满足道听途说或一知半解，他们所需要的不仅是有趣的轶事和数学典故，而且还要知道大师们的具体解决办法。本书限于用初等的方法给出开普勒计算酒桶体积、球堆积猜想、牛顿一般二项式定理和高斯的二乘法。这无疑是一个大胆的尝试，即使从高等数学角度来说还不够严格，但是作为满足青少年的求知欲望和进一步创新的动力还是非常值得做的。 本书适合具有

极限是从初等数学跨向高等数学的一座重要桥梁。在青少年阶段或更早吸收了解极限先进思想和概念，无疑对他们的人生发展有着不可估量的影响。本书图文并茂，根据青少年的思维特点，沿初涉极限、计算极限、研究极限和极限的主线，生动详尽地论述了古今无数大家对于极限的探索和认识过程、他们遇到的千难万阻、他们开辟的创新之路和他们给人类留下的巨大财富。有志青少年读者已经不满足道听途说或一知半解，他们所需要的不仅是有趣的轶事和数学典故，而且还要知道大师们的具体解决办法。本书限于用初等的方法给出开普勒计算酒桶体积、球堆积猜想、牛顿一般二项式定理和高斯的二乘法。这无疑是一个大胆的尝试，即使从高等数学角度来说还不够严格，但是作为满足青少年的求知欲望和进一步创新的动力还是非常值得做的。本书适合具有中学及以上