本手册以高等数学的公式为主线，以简洁的形式分门别类地详细介绍了高等数学的主要公式、定义、定理、图形以及各种题型的解题方法和技巧.除了高等数学教材中的基本内容和公式、常见解题方法和技巧外，本手册还大量收集了一般教材中没有的，但在解题中有用的公式、特殊的解题方法和技巧. 使用本手册可以帮助读者迅速复习、回忆和掌握高等数学的公式、解题方法和技巧，以提高高等数学的学习效率、解题能力和考试成绩. 本手册适合学习高等数学（微积分）的大学一年级学生，也适合复习高等数学并准备考研究生的高年级学生，对学习和复习高等数学的其他读者也有参考价值. 本手册还可作为高等数学教师的一本方便的教学参考书和工具书.

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

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

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

本书是一部经典的复变函数教材，已经有70多年的历史，被密歇根大学、美国加州理工学院、普渡大学等众多名校采用。全书共有12章，分别介绍了复数、解析函数、初等函数、积分、级数、留数和极点、留数的应用、初等函数的映射、共形映射、施瓦茨-克里斯托费尔映射、泊松型积分公式等内容。本书一直致力于突出有着重要应用的理论部分，尤其介绍了留数和共形映射的应用，留数的应用包括用它来计算实数广义积分，求拉普拉斯逆变换和函数的零点。共形映射主要是解热传导和流体流动中产生的边值问题。本书对应原书第9版，新版本添加了很多例子，为了阐明刚刚学过的理论，将例子作为单独的一节紧随其后；另外还根据读者意见重新安排了章节内容，使得加利于教学。此外在书后配有部分习题的辅导，方便读者自学。本书可作为理工科专业学生的教材，也

本书较系统地介绍了Excel 2010的功能、操作技巧、各种实用函数、数据处理和数据分析工具的使用等。本书的特点是通过案例引导读者掌握解决实际应用问题的方法和技巧。本书案例丰富且具有实用价值，并配有习题和实验，以便读者巩固所学知识，提高实际应用能力。 本书可作为本科、研究生相关课程的教材，也可作为Excel培训班、办公室管理人员和计算机爱好者的自学参考书或速查手册。

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

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

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