证明是数学思想中*重要，也是*开拓性的特征之一。没有证明，*无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明？什么问题可以（或无法）被解决？为数学研究和发展打开全新的视角。
本书是*数学家保罗·哈尔莫斯的自传，也是他为自己所处的“数学时代”写下的历史掠影。哈尔莫斯因在泛函分析、遍历理论、测度论、布尔代数理论等领域的贡献著称于世。他不仅对整个数学领域的研究保持着浓厚兴趣，而且始终关注着数学世界的人与事。读者可在本书中看到上百位数学家的身影。哈尔莫斯讲述了他们的趣闻轶事，为他们拍照留念，让读者对这群数学家产生*而感性的认识。这本书堪称20世纪的数学“社会史”。同时，作者谈到如何学习、如何做研究、如何营造良好的学习和学术环境，讲述了自己对数学的理解，以*身经历告诉读者，什么是真正的数学家和数学研究，以及怎样才能成为一名数学家。 本书适合数学爱好者、数学研究人员，以及对数学史和科学史感兴趣的大众读者阅读。
本书以通俗易懂的语言和鲜活的案例，阐述博弈论的基本理论框架和主要知识点。全书分成四大部分：第一部分主要论述在同步一次囚徒困境博弈中，尽管合作对整体而言是最优的，但不合作却是个体的最优策略。书中对困境的机理及其在现实社会生活中的具体表现做了分析，还介绍了同步一次博弈的其他一些有趣场景和案例。第二部分讨论重复博弈，围绕如何从困境走向合作展开，重点介绍在重复博弈中，自利行为和长期主义可以催生合作这一重要原理及其具体应用。同时还介绍了混合策略的基本思想。第三部分讨论序贯博弈。参与者行动有先后顺序，那些与自身利益相冲突的决策，会在其他参与者行动之后发生变化。参与者可以通过承诺行动改变竞争对手的预期，以促使其选择对自己有利的行动。第四部分是不完全、不对称信息下的博弈，主要阐
本书着眼于模形式的经典理论，详细解说基本定义与性质、以及著名的猜想和结果等。书中还间杂数论、几何及等方面的相关技术与应用，视角力求多元，以期读者对这一领域的面貌能有宏观的掌握，为进一步涉足算术几何、代数数论、自守表示理论等学科奠定基础。
教学设计是指教师在教学过程中，依据教学的一般原理和教学内容、目标、要求，结合自身的经验和特点，从学生知识、能力状况的实际出发，对各种教学要素进行统筹整合，制订教学方案的技术性活动，它是根据教学对象和教学目标，确定适当的教学起点与终点，将教学诸要素有序地安排并优化，形成教学方案的过程． 本书共 7章，内容包括总论、随机事件与概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、极限定理、数理统计．涉及教学设计总论和 24节课程教学设计，每节课程教学设计包括：教学目的、教学思想、教学分析（教学内容、教学重点、教学难点、对重点、难点的处理）、教学方法与策略（课堂教学设计思路、板书设计）、教学安排（教学进程框架、教学进程详细内容）和教学评价 6个部分．c
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书均为正版，请放心购买！ 基本信息 书 名 烧掉数学书：重新发明数学 出版社 湖南科学技术出版社 作 者 【美】杰森·威尔克斯著 出版时间 20201001 I S B N 9787571004071 定价 98 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 360 (千字) 页 数 404 读者范围
暂无内容简介。。。。。。
本书不仅详细叙述了拓扑线性空间，包括若干子类局部凸空间、赋范空间、内积空间的公理系统、结构属性及其之上的强弱拓扑、共轭性，还深入论述了该学科离不开的几个专题，即形式上更为一般的三大基本定理与泛函延拓定理, Banach代数特别是Gelfand变换的基本理论，紧算子及其谱理论，自伴算子的谱理论，无界正常算子的谱理论以及Bonsall的闭值域定理，不变子空间的Lomonosov定理等；而且给出了以上基本理论的丰富多彩的应用，包括完整的关于广义函数、Fourier变换及其偏微分方程基本解的论述，对于Tauber型定理的应用，von Neumann的平均遍历定理，算子半群的Hille-Yosida定理并应用于发展方程等。
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书100%为正版，请放心购买！ 基本信息 书 名 解非线性方程(组)的多点迭代法研究 出版社 中国科技出版传媒股份有限公司 作 者 王晓锋;张盛;李静;翟军昌著 出版时间 20190401 I S B N 9787030608215 定价 99 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 258 (千字) 页 数 194
本书坚持实用性第一的原则，以通俗易懂的生活经验作为切入点，详细、准确、全面地讲解高中数学的基本原理、逻辑思路和分析方法，充分体现“数形结合”的思想，帮助读者建立扎实的数学基础。 本书涵盖对应现行高中数学的所有模块，并以更加连贯的顺序编排。本书详细介绍各数学分支的基本原理、核心概念、逻辑脉络、体系框架、注意要点和应用举例。本书分为20章，主要包括集合与逻辑命题、等式与不等式、函数的概念和性质、对数和指数、三角函数、平面解析几何、立体几何、概率与统计等。 本书内容通俗易懂、原理透彻、逻辑清晰、结构完整，特别适合在读高中生、想要预习高中数学知识的初中生，以及备考公务员考试、GRE考试等涉及初等数学知识考试的考生使用。
本书是作者多年来给普林斯顿大学本科一年级学生开设微积分的每周复习课。本书专注于讲述解题技巧，目的是帮助读者学习一元微积分的主要概念。深入处理一些基本内容，还复习一些主题。本书不仅可以作为参考书，也可以作为教材，定会成为任何一位需要微积分知识人学习一元微积分的非常好的指导书。
《考研数学题源1000题做题本.数学三》由张宇主编
考研数学历年真题是题题经典,做真题对理解和熟悉考研数学考试的出题方式和解题规律的作用巨大.本书编写团队依据多年参与命题和阅卷的经验精心编写了本书.本书共分三篇.篇给出新的真题和解析,目的是让读者了解新考题的结构形式和难易程度,方便复习备考.第二篇是历年的试题.第三篇将真题按考点所属内容分类并进行解析.同时,精心选取其他卷别的试题作为练习题,供考生练习,以便使考生在熟练掌握基本知识的基础上,能够达到轻松解答真题的水平.每道练习题都配备了详细的参考答案和解析,以便考生遇到疑难问题时能及时得到详尽的指导.
暂无内容简介。。。。。。
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
数学无处不在，是日常生活中不可或缺的部分，支撑着世界上绝大多数的基本规律，从美丽的大自然到令人惊讶的对称性技术中，都能看到数学的影子。虽然数学的基本逻辑同宇宙一样古老，但人类直到近代才开始理解这个复杂的学科。那我们是如何发现数学并使之飞跃发展的呢？ 本书将告诉读者数学领域的100 个重大突破。书中以故事的形式讲述了你需要知道且十分重要的数学基本概念。从数学最初的“生命火花”—记数，来回顾我们的进步历 程，通过古老的几何形状、经典悖论、逻辑代数、虚数、分形、相对论和形态弯曲等难题，淋漓尽致地为大家展示奇妙的数学世界。书中上百张精美的图片和富有启发性的图表，将为你展示数学这门极为重要的学科的100 座里程碑，以及它们是如何深远地影响我们的生活的。每个故事都占据4页，其中1 页为全彩图，3 页
