本书主要介绍高等数学中300道经典习题的一题多解，这是作者在30多年教学过程中的积累和总结。书中的习题及其解法部分选自高等数学及数学分析类参考文献、国内外大学数学竞赛试题和研究生入学考试试题及其解答，部分源于作者多年的教学研究成果，其中有不少是作者编制的新题和给出的新颖解法，解法丰富多彩。每道习题均包括典型例题、特别提示及类题训练三个环节，供读者拓展解题思路、思考和练习之用，以加深对相关解题方法的理解和运用。全书例题与同类训练题总和达1500多道。习题的典型性与广泛性、解法的多样性与新颖性、解法的普适性与拓展性、类题的针对性及习题的海量性是本书的主要特色。

本书是大学数学学习指导系列之一，包含了线性代数与空间解析几何中的主要内容。全书共分十一章，它们是行列式、矩阵、n维向量空间、线性方程组、空间解析几何、矩阵的特征值与特征向量、二次型、一元多项式、线性空间、线性变换和欧几里得空间等。本书精选了将近400道例题和400道练习题，选材注重突出课程的基本要求，力求做到解题简明，思路清晰，由易到难，从基本到综合，循序渐进。本书编写体例有内容精讲、典型例题、练习和提示与答案四部分。概述了每一章节的基本概念、基本定理和基本方法。在某些难以理解或容易出错的地方特别作出解释，指出各概念之间的联系。在大部分例题中，都有思路分析、解题过程、小结以及注解等，有的题还提供了每一节后面都安排了适量的习题，读者可以通过练习进一步巩固所学到的知识，掌握各种题型的解

本书是综合大学数学系“数学分析”课程的辅导教材。本书是配合主教材《数学分析》而编写的同步使用的学习辅导书。全书共12章，每章按照内容提要、教学要求、典型例题分析编写，对学习中出现的疑难问题给予指导。

本教材较全面地介绍了涉及航海专业的数值计算、球面几何和球面三角、球面三角函数、海图投影、误差理论和各部分理论在航海中的典型应用，全书共分为六章，在附录部分，向读者介绍了矢量分析基础。本书通过运用传统的

本书系统地介绍分数阶微积分学领域的理论知识与数值计算方法。特别地，作者提出并实现一整套高精度的分数阶微积分学的数值计算方法；提出线性、非线性分数阶微分方程的通用数值解法和基于框图的通用仿真框架；提出并实现了基于框图的分数阶隐式微分方程、延迟微分方程与分数阶微分方程边值问题的通用求解方法。本书所有知识点均配有高质量的MATLAB代码与Simulink模型，有助于读者 好地理解知识点的内涵， 重要的是，读者可以使用这些代码创造性地解决相关问题。 本书可供数学与应用科学领域的高年级本科生、研究生与工程师系统学习分数阶微积分学理论及其计算方法，并用其解决实际应用问题。

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

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

《生物多样性保育学》是一本内容全面、结构紧凑、体系完整、适合中国学生特点的生物多样性保育教材。在内容上，《生物多样性保育学》涵盖了保护生物学的基本观点，系统论述了生物多样性的基本原理及变化机制；在形式上，《生物多样性保育学》侧重于多角度阐述生物多样性保育和管理的实践，并借助大量典型案例进行辅助说明，使《生物多样性保育学》更具可读性。全书结构紧凑，逻辑性强，比较适合作为高等院校本科生生物多样性保护教育的通用教材。

无

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

本教材较全面地介绍了涉及航海专业的数值计算、球面几何和球面三角、球面三角函数、海图投影、误差理论和各部分理论在航海中的典型应用，全书共分为六章，在附录部分，向读者介绍了矢量分析基础。本书通过运用传统的