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

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

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

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

代数标志着现代数学的开端，它使数学运算从基本的算术问题(以给定数字为特征的计算)发展到解决某些未知量的问题。现在，代数作为数学的支柱，支撑着社会科学和物理学的定量研究。本书从初步代数开始，在十个逻辑异常紧凑的章节中，希金斯为那些热衷于代数学习的读者提供了一个循序渐进的方法，运用理论和示例更新了读者对学校所讲授代数的认知

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

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

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

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