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

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

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

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

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

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

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

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

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