"本书将离散数学分为数理逻辑、集合论、代数系统和图论四部分，系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法，并给出了离散数学中不同知识点在计算机科学中的应用及上机实践指导。本书配有课后习题参考答案及电子教案。 本书结构严谨，逻辑清晰，示例丰富，可以作为高

"本书基于作者多年教学、辅导和出版经验，历时五年的准备时间，针对新考研大纲下的高中数学学科各主要专题，在深入研究的基础上，进行了尽可能深入而充分地梳理和讲解，力求体现知识脉络的演变以及思维高度的创新。本次出版的内容原创性强，不拘泥于结论和形式，循循善诱，绝大部分例题在考研入门阶段即可读懂，后期还会有习题集配套出版，乃是

本书主要介绍线性代数的基本知识，内容包括矩阵、行列式、向量和线性方程组、相似矩阵及二次型、线性空间与线性变换，各章节均配有相当数量的习题。

本书是根据高等院校非数学专业线性代数课程的教学大纲，结合新工科课程体系改革发展的需要，借鉴国内外优秀教材的特点，吸取教师团队多年的教学经验编写完成的。全书共6章，主要内容包括行列式、矩阵、向量与向量空间、线性方程组、特征值与特征向量、二次型。每章配有章节知识点的起源与发展微视频，每节配有同步练习题，最后一节为应用实例，

数论是一个古老而迷人的数学分支，在现代计算机理论中起着重要作用。它也是业余数学家的热门话题，因为它不需要高等数学的知识。汉密尔顿学院的两位著名数学家C.斯坦利·奥格尔维和约翰·T.安德森，从人们熟悉的概念开始，巧妙而轻松地将读者带入具有挑战性的数论的神奇领域，包括对素数、数的模式、同余算术、

在整个数学领域中，没有任何数像斐波那契数那样无处不在。它们出现在几何学、代数学、数论和许多其他数学分支中。更令人惊叹的是，它们还出现在自然界中。本书首先介绍了斐波那契数的发展历史，然后对这些数的不寻常性质进行了深入浅出但有启发性的讨论。它们与数学中看似完全不相关的其他各方面之间的相互关系，将为其在各种其他领域中的应用打

本书是面向本科应用型人才培养的新形态教材。在融通中外优秀教材的基础上，根据教学指导要求，对传统教材的知识点进行适当重组，通过引例提出问题并解读原理，阐述概念的来龙去脉、融入数学文化精华、介绍科技应用成果，贯穿课程思政要求。本书以纸质教材为主并增加了电子资源服务，包括上机实验的操作过程、AI大模型的解答过程、MATLAB

本书以经典理论与现代应用相结合的方式介绍了初等数论的基本概念和方法，涵盖整除、同余、算术函数、密码学、二次剩余、原根以及整数的阶等主题。兼具趣味性和易读性，书中附有几十位对数论有贡献的数学家的传略；配有丰富的习题集，习题集由习题、计算和研究以及程序设计三部分组成，而且对习题难易程度进行了标注；提供了部分习题解答提示或者

线性代数是普通高等学校理工、经济管理类专业的一门重要的数学基础课程，对于培养大学生的计算和抽象思维能力十分必要。随着现代科学技术，尤其是计算机科学的发展，线性代数这门课程的作用与地位显得格外重要。本教材依据高等学校基础理论课教学“以应用为目的，以必须、够用为度”的原则，根据高校《线性代数课程教学基本要求》编写，每章均配

图的四色问题是图论在其300年历史中取得巨大发展的主要催化剂之一，图的匹配覆盖和圈覆盖与四色问题密切相关。Berge-Fulkerson猜想是图的匹配覆盖理论中重要的猜想之一，其内容是：每个无割边的3-正则图都存在六个完美匹配，使得图的每条边恰在其中的两个完美匹配中。图满足Berge-Fulkerson猜想当且仅当是B