本书内容分为数理逻辑、集合论、代数结构、图论等四个主要部分，包含命题逻辑、一阶谓词逻辑、集合、二元关系、函数、代数结构、特殊代数系统、图、特殊图及图的应用、树等10个章节。本书以应用型人才培养为目标，突出离散数学作为计算机及相关本科的专业基础课这一定位，本书可作为计算机科学与技术、软件工程、智能科学与技术、物联网工程、网络工程等专业离散数学课程的教材。

线性代数课程的基本任务是学习矩阵及其运算、行列式、矩阵的秩与线性方程组的求解、向量空间、相似矩阵及二次型等有关知识。 学生通过学习线性代数的基本理论及方法, 并用这些知识解决一些实际问题, 不仅可为学习后续课程打下牢固的数学基础， 还可提高逻辑思维和抽象思维能力, 以及提高分析问题、 解决问题的能力.
为方便学习使用, 本书分为A、B两册. A册包括第1章矩阵及其应用、第3章矩阵的秩与线性方程组、第5章相似矩阵；B册包括第2章行列式、第4章向量空间、第6章二次型. 书

本书分为四部分，共9章。第一部分为数理逻辑，主要包括命题逻辑、一阶逻辑及数理逻辑中的推理证明等内容。第二部分为集合论，主要包括集合、矩阵、关系和函数等内容。第三部分为图论，主要包括图的基本概念和矩阵表示、特殊的图和树等内容。第四部分为代数系统，主要包括代数系统基础、格与布尔代数等内容。
本书内容丰富，层次分明，重点突出，并注重离散数学的实用性，可以为计算机专业学生提供重要的数学基础。本书可作为计算机专业本科生、大专生等的理论教学教材。
为配合教学，本书配有电子课件、教学大

本书以主教材《离散数学》(第三版,刘任任等主编,中国铁道出版社有限公司出版)为主要依据,对主教材中集合论与数理逻辑、图论与组合数学、代数结构与初等数论、线性规划与博弈论等方面的习题进行了较详细的分析与解答,帮助读者加深对主教材中基本概念、基本定理以及运算规律的理解。本书力求概念阐述严谨,证明推演详尽,较难理解的概念用实例说明。全书共分四篇：第1篇(第1~6章)是集合论与数理逻辑,第2篇(第7~18章)是图论与组合数学,第3篇(第19~22章)是代数结构与初等数论,第4篇(第23~24章)是

本教材为“十二五”普通高等教育本科***规划教材和“十三五”江苏省高等学校重点教材,本教材第二版获首届全国教材建设奖全国优秀教材二等奖.内容包括矩阵、n维向量、线性方程组、矩阵的特征值和特征向量、二次型.本教材不仅力求内容的科学性与系统性,而且注重代数概念的几何背景以及实际应用背景的介绍,以利于读者更好地理解和掌握线性代数理论,提高运用线性代数方法解决实际问题的能力.每章均配备适量的练习题,适合不同类别的读者用于平时练习、期末复习或考研复习.读者扫描书中的二维码可以浏览丰富的配套资源,内容包括有

"本书依据非数学类专业线性代数课程的教学基本要求和教学大纲，并参照近年来线性代数课程及教材建设的经验和成果编写完成。在概念的引入以及方法的应用上注重“追本溯源、探新求实”，培养学生的创新思维和实践能力。线上资源主要包括应用案例、章节总结、习题讲解等微课视频，以及拓展阅读、章节测试等。全书结构主次分明，语言表述通俗易懂，利于学生自主学习。本书主要内容包括行列式、矩阵、向量、线性方程组、特征值与特征向量、二次型共六章，每章最后一节介绍如何利用Matlab软件处理相应运算并解决实际问题。本书

"本书是为数据科学与大数据技术专业编写的高等代数课程教材，主要内容由三部分组成：第一章至第七章是线性代数基础部分，包括矩阵、线性方程组、线性空间、线性映射、内积空间、特征值与特征向量和二次型等；第八章是矩阵分析选题，这部分可依据实际情况作为选讲内容；第九章是一元多项式理论初步。 全书注重基本理论和方法的应用，突出了在数据科学中的应用案例，        本书可作为高等学校数据科学与大数据技术专业以及信息与计算科学专业本科生教材或教学参考书，也可供理工科教师和学生参考。"

本书介绍了实际工作所需要的行列式、矩阵、线性方程组、随机事件及其概率、随机变量及其数字特征、几种重要的概率分布。本着“打好基础，够用为度”的原则，本书去掉了对于实际工作并不急需的某些内容与某些定理的严格证明，而用较多篇幅详细讲述那些急需的内容，讲得流畅，讲得透彻，实现“在战术上以多胜少”的策略。在内容编排上，本书做到了前后呼应，使得前面的内容在后面都有归宿，后面的内容在前面都有伏笔，形象直观地说明问题，适当注意知识面的拓宽，实现“讲起来好讲，学起来好学”。

本书为科学出版社出版的《线性代数（第三版）》（李福乐主编）的配套用书，是编者多年教学经验的总结.本书每章内容包括主要内容、基本要求、典型方法举例、课后习题详解、考研真题选解.其中，主要内容列出了各章的基本概念和常用的重要结论；基本要求指出了各章中每一部分内容应该掌握到什么程度，便于读者在复习时能合理分配力量；典型方法举例列举了各种解题方法的典型例题；课后习题详解对每一章的习题进行了全面详细的解答；考研真题选解为考研的学生准备了往年的研究生考试线性代数试题，并进行解答，便于学生了解考研题型和难度.

本书是全国高等学校计算机教育研究会十四五规划教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程的重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题形式化自动化（计算机化）等方法，为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。本书知识结构完整，内容丰富，不仅配备了符合教学目标的课后习