本书共分6章,主要内容包括集合论(朴素集合论为主,兼及少量公理)、递推关系、群论、数论、图论,以及理论计算机科学简介,覆盖可计算性理论、随机化算法、密码学和博弈论等。

本书系统介绍组合数学的核心理论与方法,并紧密结合现代计算机科学前沿领域的应用需求。全书共8章,主要内容包括排列组合、鸽巢原理、母函数、线性常系数递推关系、特殊计数序、列容斥原理、Pólya计数理论与组合设计,附录部分深入补充了集合论、偏序集、群论等数学基础为理解组合结构提供坚实支撑。

本书系统介绍了数理逻辑、集合论、图论及代数系统基础四部分内容的基本概念、定理及应用，全书共9章。其中，数理逻辑包括命题逻辑和谓词逻辑两章；集合论包括集合和二元关系两章；图论包括图、特殊图和树三章；代数系统基础包括代数系统和群与环两章。本书重难点清晰，知识连贯性强，注重例题的典范性，便于学生理解、掌握及应用；本书通过最基

本书以线性方程组为核心框架,概念(如向量空间、特征值)与实际应用(如网络图、机器学习)相结合,被MIT等600余所高校采用。2022年推出了第6版。修订后的第6版修改了对线性代数应用的阐述,从传统应用领域转向了更与时俱进的最优化问题以学习;力图把线性代数的理论和时代前沿相连通。

本书系统地介绍了离散数学中的代数结构和图论两部分内容,每部分除给出基本概念外,还重点讨论了相关性质,主要目的是培养和训练高等学校计算机类专业学生的抽象思维能力和基本数学素养。本书共分为8章,内容包括代数系统、群论、环论、格论,以及图的基本概念、树,特殊图和典型图论问题及应用。全书提供了大量实例,每章后均附有习题。

离散数学是现代数学的一个重要分支，主要研究离散对象及其相互间的关系。离散数学课程所涉及的概念、方法和理论，广泛地体现在计算机科学技术及相关专业的各个领域。本书介绍计算机专业必需的离散数学基础知识，包括离散数学四大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、

本书内容包括行列式、矩阵、线性方程组、矩阵的特征值、二次型等。全书运用大数据和人工智能技术，将传统教材和多种形式的数字内容有机融合，打造以读者为中心的新形态教材，提供丰富的数字化学习资源，包括：重难点的名师视频讲解、重要习题的名师视频解析、随堂测试、名校期末试题库等。

本书作者遵循亚里士多德的第一性原理，教材编写始终从最底层共知的基础知识出发，适合于学生自主学习能力的培养，同时有助于学生自主学习能力的提高；教材编写坚持理论联系实际，突出“以问题为导向”的教学理念，每个模块均从现实情境出发，通过项目任务引导学生主动探索、积极思考，力求使学生在掌握适度理论知识的同时，增强数学建模、逻辑推

全书共涵盖线性方程组、矩阵代数、向量空间、特征值与正交性等核心内容，以飞机设计、图像处理、信号处理、优化专题等案例引入概念，将抽象理论与可视化方法结合。书中包含大量例题及习题，配备术语表与答案，注重逻辑思维与解题能力培养。

本书结合大量应用和实例详细介绍线性代数的基本概念、基本定理与知识点，主要内容包括：矩阵与方程组、行列式、向量空间、线性变换、正交性、特征值、数值线性代数和标准型等。为帮助读者巩固所学的基本概念和基本定理，书中每一节后都配有练习题，并在每一章后提供了MATLAB练习题和测试题。