-
实分析
本书是以实变函数与泛函分析课程内容为先导的介绍近代实分析的引论性著作。除必要的基础知识外,一些最活跃的研究领域,如Calderen—Zygmund奇异积分算子,Hp空间的实变理论,算于的加权模不等式等,在书中都得到了充分反映.全书通过对实变量函数所构成的各种函数空间(如Lebesgue空间、连续函数空间、Hardy空间、BMO空间等)和它们之间的算子作用以及Fourier分析、算子与空间内插等重要方法的描述,对20世纪50年代以来逐步形成与发展的处理n维欧氏空间上各种分析问题的实变方法与技巧做了系统、深入、简明的介绍.本书内容丰富、近代、叙述严谨、简明,是实分析方面一本可读性很强的教科书与参考书.. 本书前4章可供本科高年级学生选修,全书可作基础与应用数学、计算数学等许多方面的研究生的公共学位课教材,为从事调和分析、偏微分方程、非线性分析、数值分析、乃至数学物理等方面的研究与应用的读者提供必要的实分析基础训练.... -
万物皆数
《万物皆数》内容简介:作者用清新明晰的语言向我们介绍了数字的神秘本质和它们在建筑、机械制造、计算机技术、商业贸易、生物学、音乐、哲学、宗教、美术等等学科中的角色地位:它是几乎所有科学艺术法则中不可或缺的重要成员。同时,作者还以清晰的思路为我们勾勒出了人们认识数字、运用数字来认知世界、改造自然、改善生活、创造历史的进程,用生动有趣的故事充实了一个个单调乏味而且冰冷的数字符号:原来,每个数字背后都藏着数不完的小秘密等着我们去发掘。 -
近世代数三百题
《数学类专业学习辅导丛书•近世代数三百题》介绍: 由冯克勤、李尚志、查建国、章璞编写的《近世代数引论》,历经三版反复修改,作为数学系本科生教材使用已二十余年。这本教材有不少较难的习题。《数学类专业学习辅导丛书•近世代数三百题》则把编者们在教学过程中对这些习题的解答汇集成册,并不断增加一些新的问题。旨在帮助同学和年轻教师进一步了解解近世代数的真谛,掌握它的思想和方法,提高抽象思维能力。 -
应用随机过程
《应用随机过程:概率模型导论(英文版·第10版)》叙述深入浅出,涉及面广。主要内容有随机变量、条件概率及条件期望、离散及连续马尔可夫链、指数分布、泊松过程、布朗运动及平稳过程、更新理论及排队论等;也包括了随机过程在物理、生物、运筹、网络、遗传、经济、保险、金融及可靠性中的应用。特别是有关随机模拟的内容,给随机系统运行的模拟计算提供了有力的工具。除正文外,《应用随机过程——概率模型导论(第10版:英文版)》有约700道习题,其中带星号的习题还提供了解答。 《应用随机过程:概率模型导论(英文版·第10版)》可作为概率论与统计、计算机科学、保险学、物理学、社会科学、生命科学、管理科学与工程学等专业的随机过程基础课教材。 -
图论
《图论(第4版)》是一本可靠的关于现代图论的标准入门教材,其第四版进行了仔细校订和更新,并有实质性的扩充。书中涵盖了图论中重要新进展的各个方面,对每个主题既详述了基本知识,又通过介绍几个更为深刻的结果以及证明的细节,来展示该领域更高等的技巧。 -
交互式定理证明与程序开发
《交互式定理证明与程序开发:Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子,而且还提供了书中200个练习的答案。 Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面,Coq的语言都拥有足够强大的能力和表达能力,可以构造简单的项,执行简单的证明,直到建立完整的理论,学习复杂的算法。 这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》是·本很有价值的教材,它为初学者提供基础训练,为有经验的人提供必要的专业知识,帮助学习者开发有实用价值的数学证明。