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

贝克码与编码理论：从一道全国高中数学联赛二试试题的解法谈起》从一道全国高中数学联赛二试试题的解法谈起，详细介绍了Barker码与编码理论的相关知识及内容，如Barker码、Barker码脉压的最佳加权及组合Barker码、伪随机序列、一种新型的顿同步码组：超Barker码、用Barker码实现的快速信道估值器等内容，通

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

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

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

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

本书以线性方程组的问题为主线，以行列式、矩阵、n维向量空间为工具，遵循高等代数知识的内在规律和学生的认知规律安排内容体系，按照数学思维方式编写，着重培养学生的数学思维能力。本书内容丰富，阐述清晰、全面，包括预备知识、行列式、矩阵、n维向量空间理论、线性方程组、多项式、二次型、线性空间、线性变换和欧几里得空间等章节。

本书第1章主要介绍了图谱理论需要的矩阵理论的基础知识；第2章介绍了图的特征值在图的通路计数、连通性、二部性、正则性、直径、生成树等方面的应用；第3章介绍了图的各种特征多项式的经典结论；第4章介绍了图的独立数的代数界及其应用；第5章介绍了同谱图的构造以及图的谱确定问题；第6章介绍了图的生成树计数的矩阵方法；第7章介绍了图

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