内容有:紧致性定理,省略型定理,内插定理,完全理论与模型完全理论,初等链,超积,模型论力追法,饱和模型等,并附有模型论方法对经典数学应用的一些例子
辛几何是近十几年发展起来的新的重要数学分支。本书是辛几何(辛流形)的入门性读物。全书共分六章,分别是:代数基础,辛流形,余切丛,辛G-空间,Poisson流形,一个分级情形。前三章是重要的基本概念,后三章论述有关的应用
《高等数学:生化医农类(上册)(修订版)》是高等学校生化医农类“高等数学”基础课的教材。本书是修订版。全书共分上、下两册出版。上册共分六章,内容包括:微积分的准备知识(函数、极限、连续性),微商与微分,微分中值定理及其应用,不定积分,定积分,空间解析几何;下册共分五章,内容包括:多元函数微分学,重积分,曲线积分与曲面积
本书是作者在常微分方程定性理论的多年教学和科研工作的基础上写成的,着重介绍平面定性理论的主要内容和方法,重点是:平面奇点,极限环的存在,唯一性及个数,无穷远奇点,二维周期系统的调和解,环面上的常微系统,二维流行上的结构稳定性。本书各章均附有习题
本书上册论述了有限群的基本知识,下册着重介绍有限群的一些新成果、发展动向以及有限群的某些较专门的部分,如卡特子群、传输理论、超可解群等
本书是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑,集合论,代数结构和图论四个专题。第五篇为应用部分,主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨,推演详尽,大部分概念都用实例说明并配有相当数量的习题。 本书可作为理工科院校计算机专业的离散数学教材,也可作为自动控制、电子工
本书共六部分,分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论,并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑;附录(二)定义了斜形证明,
本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征
本书将历年数学研究生入学考试试卷的题目进行系统分析,按所属内容、难度进行归纳,总结各种题型的解题方法。这些解法均来自各位专家多年教学实践总结和长期命题阅卷经验。针对以往考生在解题过程中普遍存在的问题及常犯的错误,给出相应的注意事项,对每一道真题都给出解题思路的分析,以便考生真正的理解和掌握解题方法。使考生能举一反三,触
数学是基础教育的核心课程,数学教育的改革与发展直接影响着教育的质量、人才素质的培养。随着信息化社会的到来,数学的应用在不断地深化和扩展,我们必须以未来社会对人才素质的要求为依据,重新认识数学教育的目的和内容。这本书正是为适应目前数学教育改革趋势,对师范生必修课程《初等代数研究》和《初等几何研究》进行教材方面的改革。教材