数学
-
变指数函数空间及其应用付永强 等 著《变指数函数空间及其应用(第二版)》介绍了变指数函数空间在偏微分方程应用中的一些新进展,主要内容包括:p(x)-Laplace方程的Dirichlet边值问题、变指数增长椭圆方程解的可去奇性、变指数增长的椭圆方程组的边值问题、变指数增长的抛物方程的初边值问题、变指数增长的变分不等式问题、Young测度在变指数问题中的应用、变指数微分形式空间及其应用、变指数Clifford值函数空间及其应用和随机变指数空间及其应用。 -
吴文俊全集·数学机械化I吴文俊 著本卷收录了吴文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving 一书. 《吴文俊全集·数学机械化I》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述. 《吴文俊全集·数学机械化I》试图以构造性与算法化的方式来研究数学, 使数学推理机械化以至于自动化, 由此减轻繁琐的脑力劳动.《吴文俊全集·数学机械化I》分成三个部分:第一部分考虑数学机械化的发展历史, 特别强调在古代中国的发展历史. 第二部分给出求解多项式方程组所依据的基本原理与特征列方法. 作为这一方法的基础, 《吴文俊全集·数学机械化I》还论述了构造性代数几何中的若干问题. 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用. -
组合证明的艺术[美] 阿瑟-T.本杰明(Arthur T.Benjamin),詹妮弗,J.奎 著,刘佳 夏爱生 鞠涛 钟敏 译本书作者采取对话式的风格讲述了关于组合数学的有趣的内容,使读者能感受到阅读的愉悦。书中时不时会有一些惊喜,比如用图像化的处理方法以及用易于推广的证明方式,证明了许多组合数学中重要的恒等式。 全书共有 9 章: 第 1 章介绍了斐波那契数列的组合解释;第 2 章介绍了广义斐波那契数列和卢卡斯数列;第 3 章通过对平铺进行着色,引入了线性递推的组合解释;第 4 章介绍了连分式;第 5 章介绍了有关二项式系数的内容;第 6 章讨论了正负号交错的二项式恒等式;第 7 章探究了调和数与类斯特林数之间的关系;第 8 章介绍了连续整数和、 费马小定理、 威尔逊定理以及一部分拉格朗日定理的逆定理;第9 章介绍了进阶斐波那契恒等式和其他一些恒等式。 本书可作为组合数学课程的补充读物,读者无论是高中生还是数学方面的研究人员,均会不同程度地受益。 -
概率统计教程邢家省,马健,刘明菊 著本书主要内容包括:随机事件的概率,一维和二维随机变量及其分布,随机变量函数的分布,随机变量的数字特征,大数定律与中心极限定理,统计量及其分布,参数估计,假设检验及随机过程的基本知识。本书结构体系完整,逻辑严谨,设计简明,叙述清楚,既可作为理工科大学生概率统计课程32学时或48学时的教材,也可作为考研、考博复习的参考书,亦可作为青年教师的教学参考书。 -
高等数学学、思、用一体化方案房元霞,赵汝木 著本书按照 《高等数学 ( 2) 》 的体例编写。 每一节都依据课程大纲和教材内容确定学习目标、 学习重点, 分离出本节学习基础的预备知识与方法, 然后以问题的形式显现知识思维发展的脉络, 归纳出基本题型, 反思解题方法及其原理, 并对知识与方法进行适当的拓展, 引导读者对高等数学课程的内容进行深入透彻的思考、 理解与运用, 达到胸有成竹, 总览高等数学学习全局的学习效果。本书适合本、 专科高等学校理、 工、 农、 医、 经管等专业学生和教师使用, 特别对考研的学生复习 《高等数学》 有一定指导作用。 -
单纯复形在复杂系统中的应用研究(塞尔)所罗波顿·马莱蒂奇For the last few decades researchers from different fields gather their findings andknowledge trying to give a shape to the new science of complex systems. To address thisproblem, new tools and methods have to be established. We propose a new, or more precisely analternative, framework for the characterization of complex system. In this book we will give anintroduction of applicability of simplicial complexes in the science of complex systems. Afterintroducing of main definitions and properties of simplicial complexes necessary forrepresentation and analysis of complex systems, we will illustrate the usefulness and versatilityof tools and concepts related to the simplicial complexes. In the broad sense the exposition willcover several typical manifestations of complex systems, that is, emerging psychological spaceof opinions and their exchange, topological description of complex networks, and topologicalinvariability in dynamical systems. This book sets a stage and serves as a starting point toinspire readers. This is always the authors' intention and wish. -
数学之旅王维克 著暂缺简介... -
矩阵论范周田,彭娟 著本书共分六章,第壹章、矩阵论基础;第二章、范数理论;第三章、矩阵分析;第四章、矩阵分解;第五章、广义逆矩阵;第六章、非负矩阵。其中第壹章是工科线性代数与矩阵论的衔接内容;第二章至第五章介绍了现代矩阵理论*常见的方法;第六章介绍了非负矩阵,结合了近年的一些新的研究成果。各章后配有一定数量的习题。内容编排由浅入深,突出矩阵理论的实际应用,谷歌网页排序的矩阵算法几乎贯穿了全书。本书适合高年级本科生和工科硕士研究生使用,也可以作为相关科技工作者的参考书。 -
吴文俊全集·博弈论、代数几何、图的平面嵌入卷吴文俊 著《吴文俊全集·博弈论、代数几何、图的平面嵌入卷》收录吴文俊发表的博弈论、代数几何和图的平面嵌入等三个方面的论文. 其中, 《关于博弈理论基本定理的一个注记》是中国博弈论研究的开山之作. 《活动受限制下的非协作对策》等两篇论文则包含了吴文俊对博弈论重要的贡献──本质均衡概念的提出及其存在性证明. 本质均衡是一类特殊的纳什均衡, 吴文俊是能在早期就认识纳什理论的深刻意义并率先作出有生命力的贡献的少数数学家. 《具有对偶有理分割的代数簇》等一组代数几何学论文, 记载了吴文俊在代数几何领域的成果, 其中重要的就是对于含奇点的代数簇定义了陈省身示性类. 《吴文俊全集·博弈论、代数几何、图的平面嵌入卷》最后的《集成电路设计中的一个数学问题》《线性图的平面嵌入》等 4篇文章, 是将拓扑嵌入理论应用于集成电路布线问题的成果. -
吴文俊全集·数学机械化卷IV吴文俊 著本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化。因此在理论上,这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。《吴文俊全集·数学机械化卷IV》共分六章。前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理,第4,5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理,第6章阐述各种几何的机械化定理。
