本书共分为5章，主要概括如下：第1章介绍全书的基本概念和符号，包括半群、自由半群、本原字、代数码的运算。第2章介绍自动机基本理论。第1节介绍自动机的定义和表达方式、可识别语言等概念，以及著名的Pumping引理。第2节介绍语言的正则性和可识别性等价。第3节介绍语言的可识别性和有理性等价，进而得到语言的正则性、可识别性和

矩阵是重要的数学工具，也是当今人工智能、机器学习等领域重要的数据处理对象。本书作为矩阵理论的教材，将由浅入深地介绍矩阵的基本理论，包括矩阵的概念与运算、线性方程组、线性映射和线性变换、行列式、向量空间、特征值和特征向量、相似矩阵、二次型等，还有这些基本理论在机器学习上的简单应用。此外在本书各章还附上了对应的Python

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

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

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

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

本书是依据高等学校线性代数课程教学基本要求，针对非数学类专业本科学生的专业学习与专业发展需要，结合教学实际在第二版的基础上修订而成。本书注重阐明线性代数的基本理论、基本概念和基本方法，理论联系实际，由浅入深，突出重点。全书共分7章，主要内容包括：行列式、矩阵、向量与线性方程组、矩阵的特征值与特征向量、二次型、线性空间与

本书是按照新时代本科教育高质量发展要求，适应应用型人才培养而编写的线性代数教材，书中融入了人工智能、数据处理等领域的线性代数知识和应用。本书突出线性代数的基本概念、基本理论和基本方法，在重要概念引入时尽可能做到简明、自然和浅显。本书主要内容包括行列式、矩阵、n维向量及向量空间、线性方程组、矩阵的特征值与特征向量、二次型

本教材是为高等学校理工类和经济管理类专业编写的基础课教材，主要包括行列式、矩阵、线性方程组、矩阵的相似以及二次型等线性代数课程的基本内容。每章配有基础练习题、历年考研真题和总习题，以适应不同层次学生的需要。书中除了介绍线性代数的基本理论和方法外，还增加了MATLAB应用实例，以提高学生应用软件解决实际问题的能力。