本书涵盖了2016 2025年考研数学一、数学二、数学三的全部真题，精选了1987 2015年考研各卷种中有一定难度或代表性的真题，并配有详细解析，供考生进行练习.本书将真题按考点分类，每一节均分为十年真题、考点分析、知识梳理、方法探究、真题精选五个部分.不但梳理了《全国硕士研究生招生考试数学考试大纲》所要求的每一个知识点，而且通过例题详细讲解了主要的方法，并对每一节内容作了小结，归纳考研近年来的命题趋势，旨在使考生全面准确地了解考研数学。
证明是数学思想中*重要，也是*开拓性的特征之一。没有证明，*无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明？什么问题可以（或无法）被解决？为数学研究和发展打开全新的视角。
本书是*数学家保罗·哈尔莫斯的自传，也是他为自己所处的“数学时代”写下的历史掠影。哈尔莫斯因在泛函分析、遍历理论、测度论、布尔代数理论等领域的贡献著称于世。他不仅对整个数学领域的研究保持着浓厚兴趣，而且始终关注着数学世界的人与事。读者可在本书中看到上百位数学家的身影。哈尔莫斯讲述了他们的趣闻轶事，为他们拍照留念，让读者对这群数学家产生*而感性的认识。这本书堪称20世纪的数学“社会史”。同时，作者谈到如何学习、如何做研究、如何营造良好的学习和学术环境，讲述了自己对数学的理解，以*身经历告诉读者，什么是真正的数学家和数学研究，以及怎样才能成为一名数学家。 本书适合数学爱好者、数学研究人员，以及对数学史和科学史感兴趣的大众读者阅读。
本书以通俗易懂的语言和鲜活的案例，阐述博弈论的基本理论框架和主要知识点。全书分成四大部分：第一部分主要论述在同步一次囚徒困境博弈中，尽管合作对整体而言是最优的，但不合作却是个体的最优策略。书中对困境的机理及其在现实社会生活中的具体表现做了分析，还介绍了同步一次博弈的其他一些有趣场景和案例。第二部分讨论重复博弈，围绕如何从困境走向合作展开，重点介绍在重复博弈中，自利行为和长期主义可以催生合作这一重要原理及其具体应用。同时还介绍了混合策略的基本思想。第三部分讨论序贯博弈。参与者行动有先后顺序，那些与自身利益相冲突的决策，会在其他参与者行动之后发生变化。参与者可以通过承诺行动改变竞争对手的预期，以促使其选择对自己有利的行动。第四部分是不完全、不对称信息下的博弈，主要阐
教学设计是指教师在教学过程中，依据教学的一般原理和教学内容、目标、要求，结合自身的经验和特点，从学生知识、能力状况的实际出发，对各种教学要素进行统筹整合，制订教学方案的技术性活动，它是根据教学对象和教学目标，确定适当的教学起点与终点，将教学诸要素有序地安排并优化，形成教学方案的过程． 本书共 7章，内容包括总论、随机事件与概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、极限定理、数理统计．涉及教学设计总论和 24节课程教学设计，每节课程教学设计包括：教学目的、教学思想、教学分析（教学内容、教学重点、教学难点、对重点、难点的处理）、教学方法与策略（课堂教学设计思路、板书设计）、教学安排（教学进程框架、教学进程详细内容）和教学评价 6个部分．c
本书不仅详细叙述了拓扑线性空间，包括若干子类局部凸空间、赋范空间、内积空间的公理系统、结构属性及其之上的强弱拓扑、共轭性，还深入论述了该学科离不开的几个专题，即形式上更为一般的三大基本定理与泛函延拓定理, Banach代数特别是Gelfand变换的基本理论，紧算子及其谱理论，自伴算子的谱理论，无界正常算子的谱理论以及Bonsall的闭值域定理，不变子空间的Lomonosov定理等；而且给出了以上基本理论的丰富多彩的应用，包括完整的关于广义函数、Fourier变换及其偏微分方程基本解的论述，对于Tauber型定理的应用，von Neumann的平均遍历定理，算子半群的Hille-Yosida定理并应用于发展方程等。
素数是从宇宙深处传来的神秘音乐，拨动着一代代数学家的心弦。追求知识和真理的执着精神驱使着他们在看似无序的素数世界中寻找着规律的真相。黎曼假设——数学研究的“珠峰”，吸引了一代代数学家投身于数论研究中，其中不乏数学史上大名鼎鼎的人物。在破解这一谜题的过程中，人们发现它已经给通信、量子力学、计算机科学等领域带来了举足轻重的影响。本书作者以生动细腻的笔触将素数的故事娓娓道来，阅读本书*像聆听数学的乐章。读者无须具备任何数学专业背景，*能领略数学之美，对数学有更深刻、更丰富的了解。 本书适合对数学思想、数学史和数学故事感兴趣的大众读者阅读。
本书采用一种不同寻常的方法介绍数学分析，以展现数学证明的精妙之处。从构造数系和集合论等基础知识开始，覆盖级数、连续性、可微性、黎曼积分等重要内容，并逐渐深入到多元微积分、傅里叶分析、勒贝格积分等高等主题，叙述清晰，示例丰富，结合了严格性和直观性。本书在附录部分还讲解了数理逻辑基础和十进制，书中的习题和正文密切相关，有利于读者掌握所学的知识。
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书100%为正版，请放心购买！ 基本信息 书 名 尤斯伯恩看里面(低幼版)-揭秘交通工具 出版社 接力出版社有限公司 作 者 编者:英国尤斯伯恩出版公司|译者:景佳 出版时间 201812 I S B N 9787544856713 定价 68.8 开 本 24开 180*195 装 帧 精装 版 次 1 字 数 40 (千字) 页 数 15
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
暂无内容简介。。。。。。
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
《考研数学复习全书》内容是围绕考试大纲和历年真题编写的，分为高等数学、线性代数、概率论与数理统计三部分，其中每个章节都由知识讲解部分和题型总结部分构成，包含考研数学数一、数二、数三所有知识点、题型。本书尽量多用图像、顺口溜、趣味性比喻等超形象的方法讲解知识点，易于理解掌握，夯实基础；书中例题含金量高，解题思路与方法完整，总结细致，实用性强。通过本书学习可以帮助读者建立完善的理论体系和方法体系，缩短学习时间，让数学不再可怕和晦涩难懂。 本书文中重要知识点附有，可以扫描进入视频课程，帮助读者学懂、弄透。 本书文中附有的地方，可以扫描进入视频课程。 本书既适合考生应试备考，也适合数学爱好者学习参考。
本丛书本着弘扬和普及数学文化的宗旨而编辑出版的。为了使包括中学生在内的广大读者都能有所收益，本丛书着力精选那些对人类文明的发展起过重要作用、在深化人类对世界的认识或推动人类对世界的改造方面有某种里程碑意义的主题，由学有专长的学者执笔，抓住主要的线索和本质的内容，由浅入深并简明生动地向读者介绍数学文化的丰富内涵、数学文化史诗中一些重要的篇章以及古今中外一些著名数学家的优秀品质及历史功绩等内容。每个专题篇幅不长，并相对独立。视页码的多少，有的专题单独成册，有些专题则联合成册，以易于阅读、便于携带且尽可能降低书价为原则。*终，希望广大读者能通过阅读这套丛书，走近数学、品味数学和理解数学，充分感受数学文化的魅力和作用，进一步打开视野，启迪心智。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
