数学
-
测度论[美] 保罗·哈尔莫斯 著,程晓亮,徐宝,华志强 译测度论是研究一般集合上的测度和积分的理论,近年来在现代分析的应用中已显示出极大的潜力.作为测度论中的“**”,本书的主要目的是对测度论进行统一的介绍,内容有:集合与集类、测度与外测度、测度的扩张、可测函数、积分、一般集函数、乘积空间、变换与函数、概率、局部紧空间、哈尔测度、群的测度和拓扑. -
常微分方程东北师范大学微分方程教研室 著本书是东北师范大学微分方程教研室所编写的《常微分方程》(1982年第一版、2005年第二版)的修订版。全书共分六章,主要内容有:初等积分法、基本定理、一阶线性微分方程、n阶线性微分方程、定性和稳定性理论简介、一阶偏微分方程初步等。各章节之后都配备一定数量的习题。 本书可作为高等学校数学类各专业常微分方程课程的教学用书或参考书,对理工科学生学习常微分方程理论亦具有参考价值,还可作为科技工作者的参考用书。 -
分层分位模拟田茂再 著随着科学技术的迅猛发展,具有复杂分层结构的数据在现实生活中很普遍。能完全剖析这类数据,发觉该类数据表象下的潜在规律性对于统计学等科研领域很有意义。《分层分位模拟——理论、方法及以应用(英文版)》致力于介绍复杂分层数据分析前沿知识,侧重于分层分位回归理论、方法及其应用研究。内容主要包括三大块:分层数据建模、分位回归与分层-分位回归。主要涉及到线性分层分位回归模拟、非参数分层分位回归模拟、适应性分层分位回归模拟、可加性分层分位回归模拟、变系数分层分位回归模拟、单指数分层分位回归模拟、分层分位自回归模拟、复合分层分位回归模拟、高维分层分位回归模拟、分层分位回归模拟、分层样条分位回归模拟、分层线性分位回归模拟、分层半参数分位回归模拟、复合分层线性分位回归模拟、复合分层半参数分位回归模拟等。 -
概率论与数理统计吴传生 著本书是与吴传生主编的普通高等教育“十二五”国家级规划教材《经济数学——概率论与数理统计》第4版相配套的学习辅导教材,主要面向使用该教材的教师和学生,同时也可供报考经济管理类专业研究生的学生作复习之用。 本书的内容按章编写。每章包括教学基本要求、典型方法与范例、习题选解、补充习题、补充习题参考答案等五个部分,基本与教材同步。典型方法与范例部分是本书的重心所在,它是教师上习题课和学生自学的极好的材料。通过对内容和方法进行归纳总结,把基本理论、基本方法、解题技巧、释疑解难、数学应用等多方面的教学要求,融于典型方法与范例之中,注重对教材的内容作适当的扩展和延伸,注重数学与应用有机结合。习题选解部分,选择教材中一部分习题给出了习题解法提要,对一些富有启发性的习题,给出了较详细的分析和解答。补充习题大多数选自与各章节内容相关的历年的研究生招生考试的典型试题,并给出了相应的参考答案,供学生作为自测和复习之用。本书内容丰富,思路清晰,例题典型,注重分析解题思路,揭示解题规律,引导读者思考问题,对培养和提高学生的学习兴趣以及分析问题和解决问题的能力能起到较大的作用。它是经济管理类专业学生学习概率论与数理统计课程的一部很好的参考教材。 -
概率论与数理统计汪忠志 著本书是安徽省2020 年度高等学校省级质量工程一流教材建设项目成果,内容包括随机事件与概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律与中心极限定理、数理统计学简介、参数估计、假设检验、方差分析与线性回归简介、R 语言及其应用等. 本书配有大量与自然科学、社会科学、工程技术等领域相关的例题和习题. 本书按照由浅入深、循序渐进和融会贯通的原则,力求既注重对基本概念、基本理论和基本方法的阐述,又注重对学生基本运算能力的训练和分析问题、解决问题能力的培养. -
分析基础机器证明系统郁文生,付尧顺,郭礼权 著《分析基础机器证明系统》利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下,给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明,这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等,基于实数的完备性定理,作为应用,进一步给出闭区间上连续函数的重要性质——有界性定理、*值定理、介值定理、一致连续性定理——的机器证明.另外,还给出张景中院士提出的第三代微积分——不用极限的微积分——的形式化系统实现.在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于数学分析相关理论的形式化构建. -
横式简算法暂缺作者本书内容共分十二章,一至九章主要介绍了加、减、乘、除、乘方、开方横式计算方法,除了文字叙述外,还通过例题示范计算过程。每一类别都配备了一定量的练习题,并在每章末附有答案,供练习时参考。第十章介绍了非十进制数的转换和运算,列举例题都采用横式完成,另辟蹊径。尽管日常计算用不到,但了解这些知识,对我们更深刻地认识和了解进制、解决所关联的问题是大有好处的;第十一章横式简算法综合应用题例,展示了横式简算法在综合解题中的具体应用和简便快捷的运算特点;第十二章方法活用主要介绍了从日常计算中总结出来的一些经典方法,有助于读者拓宽思路,提升能力。本书各部分独立成篇,既可以按顺序学习,也可以根据读者需要进行有选择的学习。 -
高等数学孙建国,亓健,费祥历,闫统江 著本书面向理工非数学类专业本科生。书中包含微积分在工程、管理及其他领域中的应用实例,通过对实际应用问题、数学建模例题的讲述,提高学生的学习兴趣并培养其应用数学知识解决实际问题的能力。本书配置丰富的数字资源,包括典型例题、习题讲解,每节预习检测,数学应用相关的选读材料等,读者登录数字课程平台或者扫描二维码即可浏览。本书上册内容包括一元函数微积分学、常微分方程初步;下册内容包括向量代数与空间解析几何,多元函数微积分学,无穷级数等。 -
唐吉诃德+西西弗斯刘培杰数学工作室本丛书为您介绍了数百种数学图书的内容简介,并奉上名家及编辑为每本图书所作的序、跋等。本丛书旨在为读者开阔视野,在万千数学图书中精准找到所求著作,其中不乏精品书、畅销书。本书为其中的吉光片羽集。本丛书适合数学爱好者参考阅读。 -
各向异性随机场的样本轨道性质倪文清,陈振龙本书主要讨论各向异性随机场的样本轨道性质,主要从三大类各向异性随机场进行讨论。首先研究时间各向异性高斯随机场的碰撞概率和相交性,以及时间各向异性stable随机场局部时的存在性和联合连续性;其次讨论空间各向异性高斯随机场像集的Hausdorff维数和填充维数;后研究时空各向异性随机场的碰撞概率,像集和逆像集的Hausdorff维数,以及像集的确切Hausdorff测度。
