本书是根据普通高等学校教学指导委员会制定的新的本科数学基础课程教学基本要求编写的.全书共9章，内容包括：多项式、行列式、矩阵、线性方程组、线性空间、线性变换、欧几里得空间、二次型及MATLAB实验等.本书注重培养读者的逻辑推理能力，论证严谨而简明，内容由浅入深、条理清晰，充分体现教学的适用性.除第九章外，书中每节配有一

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

《算术基础》是德国数学家、哲学家G.弗雷格的经典著作，也是数理逻辑与分析哲学的奠基之作。弗雷格试图从逻辑角度给数下严格的定义，他首先批判地考察了施罗德、密尔、洛克、莱布尼茨、贝克莱等人关于数的观点，并在此基础上提出自己的核心命题：数的陈述包含的是对概念的断言；每个数自身是独立自存的对象，数词表示的是专名；数不是主观的表

"内容第一部分数理逻辑部分，将选取生活中的逻辑案例和公务员考试题目为引入点，逐步分解数理逻辑中涉及到的命题、谓词、范式及推理理论。一方面可以弘扬优秀的中华传统文化，另一方面可以改变目前教材中的国外案例居多的状况。拓展环节能够对所选案例进行理论推导、Python程序实现并形成最终报告。第二部分集合论，通过学习集合论的经典

本书是为适应“新文科”背景下经管类专业大学数学教学的新要求，推进信息技术、数字经济与课程教材深度融合而编写的线性代数教材。主要内容包括矩阵与行列式、线性方程组、矩阵的特征值和特征向量、二次型、线性空间与线性变换，其中线性空间与线性变换为选学内容。本

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

本教材力求兼顾理论教学与软件工程专业教学,构思以课程自身内容为载体的应用及实践,链接软件工程后续课程。内容覆盖集合论(集合、关系、函数)、数理逻辑基础(命题逻辑、谓词逻辑、自然推理系统)、图论基础、抽象代数(群、环、域、格)。实践环节,以某种程序设计语言为载体(Python、Haskell或Racket),以离散数学问

本书系统地介绍了离散数学的理论与方法。全书共9章,内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、代数系统、图论导论、特殊的图、树及其应用以及组合数学基础。为了帮助学生对庞杂的知识点进行理解记忆,本书在讲解知识点时配有丰富的、面向计算机科学技术发展的应用实例;同时,每一章都有典型例题解析,详细分析了该例题中所用到的基

线性代数是高等学校理工类和经管类专业的一门数学基础课.本书主要针对应用型本科院校的学生而编写.为满足学生系统学习的需要，本书强化了实用性、科学性、针对性，实现了知识结构的整体优化. 本书叙述通俗易懂，语言简洁明快，并根据线性代数少学时的特点，对内容的深度和广度进行了适度调整。全书共分为六章：行列式、矩阵及其运算、矩阵的