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

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

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

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

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

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

随机矩阵理论的最新进展

本书较为系统地介绍了计算机科学与技术、软件工程、智能科学与技术、人工智能、数据科学与大数据技术等信息类或智能类相关专业培养所必需掌握的离散数学基础知识，全书分为四个部分（数理逻辑、集合论、代数结构和图论），共7章.第1章介绍命题及其命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍

作者本着优化结构体系，降低理论要求，强化思想教育，加强实际应用的原则，以线性代数在本科教育中的功能定位和作用为依据，在引进先进计算工具的基础上强调数学基础理论和思想的学习，适当减少烦琐的计算技能训练，较好地处理了理论教学与实际应用的关系、学科的独立性与相关科学的关系，尽量做到传统而不失其先进性，简明而不失其系统性，扼要