本教材是根据高等学校基础理论教学“以应用为目的，以必须够用为度”的原则，按照教育部非数学专业教学指导委员会发布的“经济管理类本科数学基础课程教学基本要求”编写的.全书共6章，即行列式、矩阵、n维向量、线性方程组、矩阵的特征值与特征向量、二次型，每章均配有习题，书后附有参考答案. 附录中还给出了近年来全国硕士研究生入学考试数学试卷中关于线性代数的试题及参考答案. 本书可作为高等学校经管类专业线性代数课程的教材，也可作为理工大学及高等专科学校的教材或参考书，可供综合性大学和高等师范院校非数学专业及各

本书共包括五章，分别为行列式、矩阵及其运算、线性方程组的解、向量组的线性相关性与方程组的解的结构和相似矩阵及二次型等。每节末、每章末都配有相应的习题，利于学生巩固所学知识。每章都有一节专门介绍知识在实际问题中的运用，每章最后一节都加入了MATLAB数学实验的内容。增加学生学习的兴趣和培养学生用数学知识解决实际问题的能力。

"内容
第一部分数理逻辑部分，将选取生活中的逻辑案例和公务员考试题目为引入点，逐步分解数理逻辑中涉及到的命题、谓词、范式及推理理论。一方面可以弘扬优秀的中华传统文化，另一方面可以改变目前教材中的国外案例居多的状况。
拓展环节能够对所选案例进行理论推导、Python程序实现并形成最终报告。
第二部分集合论，通过学习集合论的经典知识，如关系的性质、集合之间的关系，以及无穷级数之间的比较等内容。使学生明白如何正确处理个人与集体、局部与整体之间利益的关系，从而树立正确的全局观。拓展部分

本书包括集合与关系、计数、数理逻辑、图论基础、再论图论和代数结构六章内容，介绍离散数学的基础知识。

本书共6章，分为3部分。第1部分是数理逻辑，包括第1章命题逻辑和第2章一阶逻辑。第2部分是集合论，包括第3章集合代数、第4章二元关系和第5章函数。第3部分是第6章图论。每章均包含丰富的习题及部分习题的参考答案，针对重要的知识点设计了线上参考资源，包括教学课件和交互式可视化教学软件，读者可下载。

本书系统地论述了图谱理论的基本定义,基本定理和重要应用,深人介绍了图论中数种主要矩阵及其特征多项式,以及这些矩阵的谱(特征值及其重数)的规律与应用,其中涉及系统工程、电路和人工智能领域.

本书可作为研究生的学习用书,也可为相关领域的研究和开发人员提供理论参考

本书较为系统地介绍了计算机科学与技术、软件工程、智能科学与技术、人工智能、数据科学与大数据技术等信息类或智能类相关专业培养所必需掌握的离散数学基础知识，全书分为四个部分（数理逻辑、集合论、代数结构和图论），共7章.第1章介绍命题及其命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍二元关系和函数的基础知识；第5章介绍代数系统；第6章介绍几种典型的代数系统；第7章介绍图论的初步内容和一些特殊图及其性质.本书各章之后配有适当难度的习题，便于学生课后练习，书中也提

本教材力求兼顾理论教学与软件工程专业教学, 构思以课程自身内容为载体的应用及实践, 链接软件工程后续课程。内容覆盖集合论 (集合、关系、函数)、数理逻辑基础 (命题逻辑、谓词逻辑、自然推理系统)、图论基础、抽象代数 (群、环、域、格)。实践环节, 以某种程序设计语言为载体 (Python、Haskell或Racket), 以离散数学问题 (集合论、数理逻辑、图论、抽象代数) 为对象, 实践问题建模、求解、函数式编程, 并选取来自于离散数学课程内容的案例, 引导学生进行一定难度的软件开发实践。

本书根据高等院校普通本科线性代数课程及其在各专业中的应用编写而成。本书包含行列式、矩阵、向量组的线性相关性、线性方程组、相似矩阵及二次型、线性空间与线性变换等内容。

本书共分7章，用数学的思维方式进行编写，以研究线性空间及其线性映射为主线，系统介绍了高等代数的基本概念和方法，从基础的行列式理论开始，逐步深入讲解矩阵理论、向量空间、线性方程组、二次型、线性变换等内容，强调理论与实践相结合。本书注重直观而深入的阐述代数的基本概念，通过清晰的数学推导，在介绍抽象的数学概念时交代其来龙去脉，在讲解精妙的数学方法时交代其背景思路，书中还有大量精选的例题和习题，帮助读者建立坚实的代数基础。