乔治·布尔发明了一套符号用来进行逻辑演算，创造了逻辑代数系统，完成了逻辑的数学化。布尔称他的工作为“思维的定律”，理由是命题代数和思维过程的原则紧密相联。本书介绍了布尔代数、广义布尔代数、布尔方程、布尔矩阵、布尔表示等概念，还列举了布尔代数在逻辑线路、极大极小值等问题中的应用。

迅猛龙能跑多快？

袋鼠能跳多远？

瓢虫有多重？

霸王龙有多高？

鲸鱼有多长？

本书内容包括模、范畴、同调代数以及层。模论方面主要介绍自由模、投射模、内射模、平坦模以及Hom与张量积；范畴论介绍了函子、自然变换以及Abel范畴；同调代数的内容包括导出函子、长正合列、Tor及Ext；层论部分主要介绍层的上同调。本书有大量习题，由易及难，书末附有部分习题答案与提示。本次修订除纠正第一版中的一些排版错误

本书核心是围绕“如何想到”(思维)和“如何做到”(数学化)两个关键词，来探讨数学建模能力的培养和发展。本书创新性地提出了DEED(描述与理解、溯因与解释、估计与预测、评价与决策)框架，将问题类型细化，并针对每种类型提出相应的思维方法。

本书在全面归纳考研数学三十余年大量真题(包含数学一~数学三)的基础上,进行题型归纳与总结，旨在帮助读者更快地理解和应用线性代数的知识。 本书共分为6章，第1章为行列式，第2章为矩阵，第3章为方程组，第4章为向量组，第5章为相似、特征值，第6章为二次型。全书共49个专题，提供了大量综合性试题的考试题型与解题方法。建议读者

依照2018年1月颁发的《普通高等学校本科专业类教学质量国家标准》，在近20年的离散数学讲义基础上，精心整理，编撰成本书。在编写过程中，充分考虑了重点高校和普通省属院校等各类学校的学生基础、教学特点和教材改革经验，以增强本书的适用性。 本书分为数理逻辑、集合论、代数系统和图论4篇，内容包括命题逻辑、谓词逻辑、集合、二元