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

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

"《离散数学》根据作者多年从事离散数学教学和实践经验编写而成，系统地阐述了离散数学的经典内容，从离散结构的形式化表示，到各类离散结构及其数学模型的描述出发，讲解有关集合、数理逻辑、图论以及代数系统的基本概念、定理、证明方法以及相关算法，逐步建立离散化、公理化和系统化的计算机专业意识，并通过紧密联系计算机学科的的应用实例，展示离散数学理论在软件工程和计算机科学与技术中的基础作用和强大应用，特别强调计算思维和理论应用能力的培养。全书共11章，包括集合、关系、函数、命题逻辑、谓词逻辑、图和树，以及代数

这本《线性代数、概率统计同步练习卷》 可以帮助读者加深对基本概念的理解，加强对基本解题方法和技巧的掌握，培养读者分析和解决问题的能力，为期末考试、考研等打好基础。本书与教材形成互补，题目类型涵盖选择题、填空题、计算题、解答题等。内容共十三章，每章分为A，B两卷，并附有期中测试卷和期末测试卷，便于读者进行阶段性测试。本书部分内容参考了考研与数学竞赛真题，由易到难、由浅入深，满足不同学生的学习需求，方便学生的自评自测。

本书根据最新的“高等学校理工科、经管类专业线性代数课程的教学基本要求”，并结合考研大纲编写而成。全书共分六章，内容包括：行列式，矩阵，向量，矩阵对角化，二次型，线性空间等。本书配有网络云资源，每章章节末配有习题，书末附有参考答案。本书重在培养学生对实际问题的分析与解决问题能力。 本书适合高等院校理工科非数学类各专业作为教材使用，也可作为需要学习线性代数的科技工作者，准备考研的非数学专业学生及其他读者自学的参考书。

本书是高等院校数字化建设精品教材《线性代数》（杨和 梁玥主编）的配套辅导 用书，它涵盖了线性代数的基本内容：行列式、矩阵、线性方程组、向量组的线性相关性、特征值与特征向量和二次型。全书内容丰富，结构严谨，条理清晰。每一章包括本章要点，知识点梳理与评注，对应《线性代数》教材的课后习题精讲等。针对每一章的知识点给出“MATLAB 应用举例”，并以思维导图的形式通过“本章基本知识结构图” 详细整理本章知识点。 本书十分适合于学习线性代数的本科生和研究生，或讲授线性代数的教师作为参考书使用。

《线性代数与概率统计》是高职高专各专业的公共基础课，对学生学习专业课程和技能提供了必要的数学基础，有利于培养学生应用数学解决问题的能力和素质。教材编者在总结多年高职高
专《线性代数与概率统计》教学经验的基础上，分析国内外同类教材发展趋势，探索高职高专《线性代数与概率统计》教学的发展动向，组织编写本教材。
本教材分《线性代数》及《概率统计》两篇共8章，包括：行列式，矩阵，线性方程组，特征值、特征向量及二次型，线性规划，随机事件与概率，随机变量及其数字特征，数理统计初步。另
外把M

教材内容主要涵盖多项式理论和线性代数两大模块。编排框架与北京大学北京大学数学系前代数小组编写的《高等代数》保持一致，内容包括十章：多项式，行列式，线性方程组、矩阵、二次型、线性空间、线性变换、 矩阵，欧几里得空间、双线性函数与辛空间。 本教材建设的数字教学资源包括可视化教学案例、可视化图库、试题库、应用案例集、课程思政案例库、课外参考文献、专业论文等电子资源以及配套慕课资源。 本教材可作为综合性大学、理工类大学和高等师范院校的高等代数的教材，还可以作为计算机、人工智能等专业同学线性代数课程的教

本书稿语言精练，重点突出，同时注重线性代数与计算机的结合，易教易学。全书内容包括6章内容：第1章 行列式（约3.7万字）、第2章 矩阵及其运算（约3.9万字）、第3章 向量组的线性相关性（约2万字）、第4章 线性方程组（约1.9万字）、第5章 方阵的特征值与特征向量（约3.9万字）、第6章 二次型（约2.4万字），在每章安排有应用MATLAB软件进行的线性代数课程实验， 每章后配有一定数量的习题，书末附有习题答案。

本书为高等院校本科基础课教材，本教材按照《线性代数课程教学基本要求》编写而成。 全书共六章，即行列式、矩阵、向量组与向量空间、线性方程组、矩阵对角化、二次型。书中精选典型例题，帮助学生理解抽象概念和内容。 每章均配有难以程度不同的习题，自测题及近10年研究生入学考试线性代数真题，适用于不同程度的学生需求，书后附有3套模拟试题和答案，以及习题参考答案。 本教材适合高等院校理工科非数学类各专业本科学生使用，也可供科技工作者参考。