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