本书分为数理逻辑、集合与关系理论、代数系统和图论四篇。其中，数理逻辑搭建了符号化体系，用于解决文字的可计算性问题，是知识工程的理论基础，该体系还可以描述集合论中的所有概念。集合与关系理论中包含集合、关系、函数三大基础模块：关系是集合中笛卡儿积的子集，函数是关系的子集，二者奠基了大数据计算的理论框架。代数系统依托任意集合

本书全面深入地讲述了旋量代数理论及其几何基础，是一本贯通旋量代数与李群、李代数理论，深入研究其内在特性与关联结构以及旋量系理论的著作。本书起始于直线几何与线性代数，紧密联系李群、李代数、Hamilton四元数、Clifford双四元数、对偶数等基本概念而自然过渡到旋量代数与有限位移旋量。作者在书中首次全面深入地阐述了旋

本书是多元函数微积分部分，共4章，主要内容包括向量与空间解析几何、多元函数微分学、多元函数积分学、无穷级数。每章前面配有本章概述、学习目标，每节前面配有课前导读，核心知识点配备微课，每章后面附有拓展阅读和章节测试。本书注重知识点的引入方法，使之符合认知规律，更易于读者接受。同时，本书精炼了主要内容，结构更加简洁，思路更

本书是多元函数微积分部分，共4章，主要内容包括向量与空间解析几何、多元函数微分学、多元函数积分学、无穷级数。每章包含知识结构、归纳总结、例题解析、考研导航与习题详解5个部分。本书具有相对的独立性，可为高等学校理工类和其他非数学专业学习高等数学的学生提供解题指导，也可供准备报考硕士研究生的人员复习高等数学时参考，例题解析

本书共有6章，主要内容包括：函数、极限与连续，导数与微分，微分中值定理与导数的应用，不定积分，定积分及其应用，常微分方程.每节后均配有习题，每章后均配有不同难度的总习题.每章末设置知识导图和拓展学习内容，呈现本章知识脉络，并介绍专业应用案例与数学的高阶知识。本书中的核心知识点、章末总结和典型习题均配备微课视频.本书体现

本书通过日常生活中的例子将数学变得有趣，同时从具体的实例抽象出数学思想。范畴论被称为”数学的数学“，数学家的思考其实都遵循着某种模式，范畴论的研究目的是破解数学家独有的突破性思维模式。本书旨在帮助读者学习、理解范畴理论所需的一切基本知识和关键概念，并简单介绍了高阶范畴论。这段从具体到抽象的数学旅程将揭开数学思维的秘密，

本书根据工科类本科“线性代数”课程教学基本要求，参考同济大学“线性代数”课程教学及教材建设的经验和成果，并结合全国硕士研究生招生考试数学考试大纲的要求编写而成.编者在内容编排、概念叙述、定理证明等诸多方面做了精心安排，以使全书结构流畅、主次分明、通俗易懂.本书共5章，内容包括线性方程组与矩阵、方阵的行列式、向量空间与线

本书共5章，内容分别是线性方程组与矩阵、方阵的行列式、向量空间与线性方程组解的结构、相似矩阵及二次型、线性空间与线性变换.每章包含知识结构、归纳总结、典型例题、习题详解4个模块。

本书共11章，包括Python基础、插值与拟合、微分方程、图论、综合评价方法、运筹学方法、智能优化算法、分类算法、多元统计方法、预测方法和数学建模应用案例。本书注重强化数学语言的精准表述与数学模型符号的规范表达，引导读者构建严谨的逻辑思维，提升精准运用数学语言进行建模表达的能力。

本书从应用的角度介绍离散数学。本书共6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。本书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。每章最后提供上机练习，可提高学生的学习兴趣和动手能力。本书以二维码的形式提供了微课视频，有利于教师进行线上线下混合式教学，帮助学生更好