环论是抽象代数学中的一个重要的分支。环的结构、分类与表示是环论中的具有根本性的研究课题。在环论的发展过程中,人们先后提出了很多种环的概念。作为抽象的代数概念,各种环类都需要具体的例子来支撑相关的理论。本书以环论中一些重要的环与模为研究对象,比较系统地介绍它们的定义、性质以及丰富的具有代表性的例子,特别是通过具体的例子展
为南开大学代数类课程教材系列的重要一环,本教材具有整套系列教材的共同特色。由于我们一直将代数学看成一个整体看待,因此我们的教材特别注重与前期课程与后继课程的衔接与统一。本教材特别注重讲清楚数学思想,因此在引出定义和定理前一般会加入很多解释性的按语,或者在定理后面加一些注记。本教材的习题是我们花了大量心血精心设计而成的,
本书主要讲解张量基本概念,它们的代数运算和微分学,以及Riemann流形上的张量及其微积分学,Riemann流形上的微分算子。本书还用大量篇幅讲授张量在连续介质力学和物理中的应用。其中有许多内容是作者30多年的研究生涯中应用张量分析工具,建立相关力学数学模型,发展新的数学方法和数值计算方法的研究成果。
本书系统地介绍流体力学中的基本方程,即:不可压缩Navier-Stokes方程的最新理论和方法,着重介绍Fourier分离方法及其在Navier-Stokes方程中的应用。具体讲,就是用此方法建立大初值整体弱解在范数意义下的最优大时间行为,以及整体小初值强解在范数意义下的长时间渐近行为。本书循序渐进地阐述Navier-
本书在建立应用变分方法研究时标上的共形分数阶微分方程边值问题的工作空间,并应用变分方法研究时标上的共形分数阶微分方程边值问题解的存在性和多解性,拓展了临界点理论在研究时标上的微分方程边值问题中的应用范围,提出了研究时标上的微分方程边值问题的新方法。。微分方程专业的硕士研究生、博士研究生以及广大数学研究者
基础拓扑学是一部拓扑学入门书。作者主要介绍了拓扑空间中的拓扑不变量,以及相应的计算方法。本书涉及点集拓扑、几何拓扑、代数拓扑中的各类方法及其应用,并包含大量的图解和难度各异的思考题,有助于培养学生的几何直观能力和对本书的深刻理解。本书内容浅易,注重抽象理论与具体应用相结合。
本卷收录了吴文俊在拓扑学领域发表的56篇学术论文。这些论文包含了吴文俊在示性类、示嵌类、示浸类、示痕类、能计算性与I*-量度等方面做出的一系列重要工作,蕴含了他在拓扑学领域的诸多原始思想。该卷可作为数学或数学史研究人员、教师、研究生的参考文献,也可以作为拓扑学课程的参考书。
本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括:几何定理机器证明的吴方法,多项式系统符号求解的Ritt-吴特征列方法,构造性微分代数几何理论,不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果。还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动
本书主要介绍了DNA计算核酸编码原理及方法,具体包括,DNA计算的研究进展和背景,DNA计算的生物化学基础,DNA编码问题及其复杂性分析,DNA二级结构预测和*小自由能模型,隐枚举核酸序列编码算法,DNA编码在图着色DNA计算中的应用。
本书是作者根据多年来在黑龙江大学讲授高等代数及相关课程,以及从事科研工作的经验和心得写成的,有许多独到的科学见解。分上下两册出版。上册内容包括行列式、矩阵、线性方程组、特征值与特征向量、内积与正交阵、二次型与对称阵等。下册内容包括多项式、多项式矩阵、线性空间、线性映射与线性变换和欧式空间等。全书体系简练完整,叙述由浅入