自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是第一本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法

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

逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。

逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。

自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法

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

编写此书，是希望为我国的大学生和数学爱好者提供一本提高数学素质(特别是分析问题和解题能力)的有益读物，同时也为高校数学教育提供一本很有特色的教学参考书。本书共有三篇：篇，汇集了北京市大学生数学竞赛届至第二十一届的试题，并给出了解题思路及较详细的参考解答；第二篇，选编了我国部分省市和高校的大学生竞赛的试题，对其中大部分给出了较详细的参考解答、答案或提示，有的给出了解题思路；第三篇，编入了、第二届全国大学生数学竞赛及国外一些大学生数学竞赛的试题，并给出了解题思路及较详细的参考解答。

全书基本涵盖了《高等数学》中所需的初等数学内容。本书按初等数学的学习顺序分八章进行编写，章代数式、第二章方程与不等式、第三章函数概念与二次函数、第四章指数函数与对数函数、第五章数列、第六章三角函数、第七章平面解析几何、第八章复数简介。每章后附有精选的习题，全书的最后给出了习题的答案和证明题的提示。本书的编写精简、扼要，能在较短的时间内补足学习《高等数学》所需的预备知识。 本书适合于各大专院校的学生复习；各类国家高等教育自学考试的学生、网络学院的学生、广播电大的学生自学补习或集体补习初等数学之用。

在近年的考研辅导中，有很多考生向我们反映，自己的基础比较薄弱，学习起来比较困难，难以迅速提高成绩。还有的考生是在职人员，工作非常繁忙，没有很多时间可以支配，希望能有一本考研数学速速成书。如何帮助考生在短时间内取得好的学习效果，达到硕士生入学考试数学的分数线，这就是我们研发此书的初衷和愿望。 本书结合我们多年来的考研数学辅导经验编写而成。针对每个题型，设置了以下几个栏目： 考试概况：给出1987年以来各题型在数学一、数学二试卷中的考查情况：填空题、单项选择题和计算证明题中出现的频率。 思路点拨：针对各题型给出了相应的解题思路和方法，简洁而实用。 实例精讲：根据真题难度和题型设置了典型例题，并给出了详细讲解，供考生学习模拟之用。 现学现练：精选相应试题供考生进行实战演练。 要

《先驱者的足迹—高等数学的形成》一书于2004年由东北大学出版社印刷出版，并于2005年第二次印刷。?现有的高等数学教材及习题集等书籍早已琳琅满目，单纯叙述数学史的书籍也日渐增多。但阐述高等数学主要概念的发展、演变历史以及其中包含的深刻思想的书籍并不多见。?版图书的出版目的在于为大学高等数学提供配套的读物作为课堂内容的补充，能够让学生了解到课本中所学内容的产生、发展、思想方法及相关发明者的奋斗过程。同时大学数学教师也需要这样的参考资料以丰富自己的教学内容。?在河北省科学技术厅科普原创资助专项（项目编号：15K56227D）的资助下，第二版图书得以出版。这次再版图书将读者范围从大学生、大学数学教师以及数学爱好者，扩展到了中学生以及年龄更小的数学爱好者。内容仍以?版图书为基础，从数学的起源与早期发展、初等

本“导论”是中国科学技术大学非数学专业通用的讲义，是在近50年的使用过程中，经过不断修订、充实而成的，与同类书相比，其广度有所拓宽，认证定理、公式逻辑严谨，编排内容循序渐进，阐述概念联系实际，深入浅出，为加深对概念、定理等的理解和掌握，书中编有丰富的例题，以及复习思考题、习题和复习题。 本“导论”分上、下两册出版，上册讲述单变量函数微积分与空间解析几何。下册讲述多变量函数微积分、级数与常微分方程。另配学习辅导一册。 本册内容包括函数的极限、单变量函数的微分学、单变量函数的职分学、可积常微分方程和空间解析几何共5章。 本“导论”可作为理工科院校非数学专业或师范类院校数学专业的教材或教学参考书，也可供具有一定数学基础的读者自学。

《高等数学疑难问题选讲》是“高等学校大学数学教学研究与发展中心”立项资助的教学研究项目成果。《高等数学疑难问题选讲》编写的主要目的是为了帮助从事“高等数学”教学的青年教师更深刻地领会教学内容，提高教学水平和教学能力。全书分章按问题编排，各问题之间相对独立，便于读者查阅。