布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其
环论是抽象代数学中的一个重要的分支。环的结构、分类与表示是环论中的具有根本性的研究课题。在环论的发展过程中,人们先后提出了很多种环的概念。作为抽象的代数概念,各种环类都需要具体的例子来支撑相关的理论。本书以环论中一些重要的环与模为研究对象,比较系统地介绍它们的定义、性质以及丰富的具有代表性的例子,特别是通过具体的例子展
为南开大学代数类课程教材系列的重要一环,本教材具有整套系列教材的共同特色。由于我们一直将代数学看成一个整体看待,因此我们的教材特别注重与前期课程与后继课程的衔接与统一。本教材特别注重讲清楚数学思想,因此在引出定义和定理前一般会加入很多解释性的按语,或者在定理后面加一些注记。本教材的习题是我们花了大量心血精心设计而成的,
这本教材覆盖了许多不同的数学领域。这本书包括以下内容:平面几何与立体几何的基本知识;极限展开以及它在几何中的应用;有限样本空间中的概率的基本知识;以及对集合论和逻辑的初步介绍。尽管这些内容是相对独立的,本书可以帮助读者看到并理解不同数学领域之间的联系。每章的开头部分,有关于学习本章所需的预备知识的描述。
本书内容包括:常微分方程、线性代数、概率论与数理统计、线性规划、数学建模概述。在每一模块中均编有应用与实践内容,其中包括高等数学在物理、机械、经济、电工电子、信息技术等方面的应用和数学软件MATLAB的使用。每节配有习题,并将习题答案附于书后。 本书可供高职院校工科类和经济管理类专业的学生作为教材或学习参考书使用
本书架构上分为函数极限、微分方程、多元微分学,多元函数积分、级数4个部分,章节设计由浅入深逐步递进。在微分方程部分,包括微分方程的求解及应用。多元微分学部分,包括多元函数的概念、求导方法、多元函数偏导数的意义。多元函数积分学部分,包括重积分、二重积分和三重积分、曲线积分和曲面积分。级数部分,包括级数内容。教材每节后均配
本书内容包括:极限与连续、导数与微分、导数的应用、一元函数积分学及多元函数微积分学。在每一模块中均编有应用与实践内容,其中包括高等数学在物理、机械、经济、电工电子、信息技术等方面的应用和数学软件MATLAB的使用。每节配有习题,并将习题答案附于书后。 本书可供高职院校工科类和经济管理类专业的学生作为教材或学习参考
本书系统地介绍流体力学中的基本方程,即:不可压缩Navier-Stokes方程的最新理论和方法,着重介绍Fourier分离方法及其在Navier-Stokes方程中的应用。具体讲,就是用此方法建立大初值整体弱解在范数意义下的最优大时间行为,以及整体小初值强解在范数意义下的长时间渐近行为。本书循序渐进地阐述Navier-
本书在建立应用变分方法研究时标上的共形分数阶微分方程边值问题的工作空间,并应用变分方法研究时标上的共形分数阶微分方程边值问题解的存在性和多解性,拓展了临界点理论在研究时标上的微分方程边值问题中的应用范围,提出了研究时标上的微分方程边值问题的新方法。。微分方程专业的硕士研究生、博士研究生以及广大数学研究者
基础拓扑学是一部拓扑学入门书。作者主要介绍了拓扑空间中的拓扑不变量,以及相应的计算方法。本书涉及点集拓扑、几何拓扑、代数拓扑中的各类方法及其应用,并包含大量的图解和难度各异的思考题,有助于培养学生的几何直观能力和对本书的深刻理解。本书内容浅易,注重抽象理论与具体应用相结合。