证明是数学思想中*重要，也是*开拓性的特征之一。没有证明，*无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是在讲数学的历史，更是在讲数学思想的演变。作者揭示了数学学习和研究的底层方法和逻辑，让读者看到在数学中什么定理可以被证明，如何证明？什么问题可以（或无法）被解决？为数学研究和发展打开全新的视角。
本书是*数学家保罗·哈尔莫斯的自传，也是他为自己所处的“数学时代”写下的历史掠影。哈尔莫斯因在泛函分析、遍历理论、测度论、布尔代数理论等领域的贡献著称于世。他不仅对整个数学领域的研究保持着浓厚兴趣，而且始终关注着数学世界的人与事。读者可在本书中看到上百位数学家的身影。哈尔莫斯讲述了他们的趣闻轶事，为他们拍照留念，让读者对这群数学家产生*而感性的认识。这本书堪称20世纪的数学“社会史”。同时，作者谈到如何学习、如何做研究、如何营造良好的学习和学术环境，讲述了自己对数学的理解，以*身经历告诉读者，什么是真正的数学家和数学研究，以及怎样才能成为一名数学家。 本书适合数学爱好者、数学研究人员，以及对数学史和科学史感兴趣的大众读者阅读。
本书以通俗易懂的语言和鲜活的案例，阐述博弈论的基本理论框架和主要知识点。全书分成四大部分：第一部分主要论述在同步一次囚徒困境博弈中，尽管合作对整体而言是最优的，但不合作却是个体的最优策略。书中对困境的机理及其在现实社会生活中的具体表现做了分析，还介绍了同步一次博弈的其他一些有趣场景和案例。第二部分讨论重复博弈，围绕如何从困境走向合作展开，重点介绍在重复博弈中，自利行为和长期主义可以催生合作这一重要原理及其具体应用。同时还介绍了混合策略的基本思想。第三部分讨论序贯博弈。参与者行动有先后顺序，那些与自身利益相冲突的决策，会在其他参与者行动之后发生变化。参与者可以通过承诺行动改变竞争对手的预期，以促使其选择对自己有利的行动。第四部分是不完全、不对称信息下的博弈，主要阐
数学是理解和探索世界的工具，无论是学生、工程师还是科学家，*有能力也应该学会数学建模的方法和思想，学会如何用正确的思维方式搭建解答问题的阶梯。这本书旨在将数学作为一门语言、一种方法来*读者学习数学。读者也将看到如何理解、传承并调用现代科学的知识、传统和范式。数学建模不仅是数学学习和研究的过程，更是我们认识世界、理解生活的方法之一，而在实践数学建模的过程中，我们将深刻感受到数学的趣味性、严谨性和解决问题的无穷威力，正如亨利?庞加莱的名言所讲，这将是一次面向心智的雅致统一的追求。
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书均为正版，请放心购买！ 基本信息 书 名 烧掉数学书：重新发明数学 出版社 湖南科学技术出版社 作 者 【美】杰森·威尔克斯著 出版时间 20201001 I S B N 9787571004071 定价 98 开 本 16开 185*260 装 帧 平装 版 次 1 字 数 360 (千字) 页 数 404 读者范围
以上ISBN信息均为平台自动生成，部分商品参数可能存在些许误差，商品准确参数详情可咨询客服。本店为新华书店总部直营店铺，所售图书均为正版，请放心购买！ 注：预售品种请单独下单，与预售品种一起拍的品种默认和预售品种一起发货！ 商品目录加载中......
素数是从宇宙深处传来的神秘音乐，拨动着一代代数学家的心弦。追求知识和真理的执着精神驱使着他们在看似无序的素数世界中寻找着规律的真相。黎曼假设——数学研究的“珠峰”，吸引了一代代数学家投身于数论研究中，其中不乏数学史上大名鼎鼎的人物。在破解这一谜题的过程中，人们发现它已经给通信、量子力学、计算机科学等领域带来了举足轻重的影响。本书作者以生动细腻的笔触将素数的故事娓娓道来，阅读本书*像聆听数学的乐章。读者无须具备任何数学专业背景，*能领略数学之美，对数学有更深刻、更丰富的了解。 本书适合对数学思想、数学史和数学故事感兴趣的大众读者阅读。
商品基本信息 商品名称： 离散数学及其应用（原书第8版） 作者： [美]肯尼思·H. 罗森（Kenneth H. Rosen） 市场价： 139.00 ISBN号： 9787111636878 版次： 1-1 出版日期： 2019-10 页数： 字数： 900 出版社： 机械工业出版社
本书是一本非数学专业主要是文科及艺术类专业的数学教材，讲述方式活泼，案例贴近生活，读者可以在轻松学习中体会数学乐趣和意义。全书分为三大部分：归纳和演绎、逻辑和数；代数和几何；概率统
本书是一本非数学专业主要是文科及艺术类专业的数学教材，讲述方式活泼，案例贴近生活，读者可以在轻松学习中体会数学乐趣和意义。全书分为三大部分：归纳和演绎、逻辑和数；代数和几何；概率统
本书坚持实用性第一的原则，以通俗易懂的生活经验作为切入点，详细、准确、全面地讲解高中数学的基本原理、逻辑思路和分析方法，充分体现“数形结合”的思想，帮助读者建立扎实的数学基础。 本书涵盖对应现行高中数学的所有模块，并以更加连贯的顺序编排。本书详细介绍各数学分支的基本原理、核心概念、逻辑脉络、体系框架、注意要点和应用举例。本书分为20章，主要包括集合与逻辑命题、等式与不等式、函数的概念和性质、对数和指数、三角函数、平面解析几何、立体几何、概率与统计等。 本书内容通俗易懂、原理透彻、逻辑清晰、结构完整，特别适合在读高中生、想要预习高中数学知识的初中生，以及备考公务员考试、GRE考试等涉及初等数学知识考试的考生使用。
本书是作者多年来给普林斯顿大学本科一年级学生开设微积分的每周复习课。本书专注于讲述解题技巧，目的是帮助读者学习一元微积分的主要概念。深入处理一些基本内容，还复习一些主题。本书不仅可以作为参考书，也可以作为教材，定会成为任何一位需要微积分知识人学习一元微积分的非常好的指导书。
暂无内容简介。。。。。。
本书以易于理解的方式讲述了时间序列模型及其应用，内容包括趋势、平稳时间序列模型、非平稳时间序列模型、模型识别、参数估计、模型诊断、预测、季节模型、时间序列回归模型、异方差模型、谱分析入门、谱估计和门限模型。对所有的思想和方法，都用真实数据集和模拟数据集进行了说明。
商品基本信息 商品名称： 实分析（原书第4版） 作者： （美）哈尔西·罗伊登（Halsey Royden）; 帕特里克·菲茨帕特 市场价： 129.00 ISBN号： 9787111630845 版次： 1-1 出版日期： 1900-01 页数： 426 字数： 490 出版社： 机械工业出版社 目录 译者序 前言 第一部分 一元实变量函数的Lebesgue积分 第0章 集合、映射与关系的预备知识2 0.1 集合的并与交2 0.2 集合间的映射3 0.3 等价关系、选择公理以及Zorn引理3 第1章 实数集：集合、序列与函数6 1.1 域、正性以及完备性公理6 1.2 自然数与有理数9 1.3 可数
本书系统介绍传染病动力学的数学建模思想、典型研究方法和主要研究成果。主要内容涉及具有时滞、接种免疫、疾病复发、类年龄结构、空间扩散和非线性发生率的传染病动力学模型以及具有胞内时滞、CTL免疫反应、抗体免疫反应、游离病毒扩散、细胞感染年龄和非线 染率的宿主体内HIV(HBV)感染动力学模型的建立和研究，也特别介绍有关艾滋病、乙肝和结核病等重要传染病在 外的**研究结果。本书重点介绍传染病动力学的数学建模方法、理论分析和数值模拟方法，内容丰富、方法实用，反映了当前传染病动力学在 外的**研究动态和作者的**研究成果。通过阅读本书，既能使一般读者尽快地了解和掌握传染病动力学的建模思想和理论分析方法，又能将具有一定基础的读者尽快带到相关研究领域的前沿。
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统本书利用交互式定理证明工具Cog,实现 Morse-Kelley-公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把 Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆脱了明显的悖论.这是 Morse-Kelley-公理化集合论系统的 形式化实现.在 Morse-Kelley-公理化集合论形式化系统下,作为应用,我们给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukc引理、 Hausdorff极大原则、极大原则、Zorn引理、良序定理及 Zermelo假定等在我们开发的系统中,全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Cq验证并在计算机上运行通过,体
偏微分方程是数学学科的一个分支，它和其他数学分支均有深刻的联系，而且在自然科学和工程技术中有广泛的应用。本书主要讲述广义函数与Sobolev空间、偏微分方程的一般理论、椭圆型方程的边值问题、双曲型方程或抛物型方程的初值问题与初边值问题、能量方法、半群方法等内容。以此为提高读者的整体数学素质提供合适的材料，也为部分读者进一步学习与研究偏微分方程理论做准备。
这本经典的概率论教材通过大量的例子系统介绍了概率论的基础知识及其应用，主要内容有组合分析、概率论公理、条件概率、离散型随机变量、连续型随机变量、随机变量的联合分布、期望的性质、极限定理和模拟等，内容丰富，通俗易懂.各章末附有大量的练习，分为习题、理论习题和自检习题三大类，并在书末给出自检习题的全部解答。 本书是概率论的入门书，适合作为数学、统计学、经济学、生物学、管理学、计算机科学及其他各工学专业本科生的教材，也适合作为研究生和应用工作者的参考书。
“系统核与核度理论”是20 世纪80 年代末、90 年代初诞生的一种研究系统的方法，至 今已有三十余年历史，无论在自身理论方面，还是在应用方面，都取得了丰硕的成果。本书较系统地介绍了“系统核与核度理论”的产生背景、理论成果及其应用状况。全书共14 章，第1 章为绪论，第2 章介绍了本书涉及的图论基础知识。第3 章～第8 章为理论部分，论述了系统核与核度的基本理论，核度与系统的最值网络结构，系统与补系统间的核度，核与核度的优化设计理论，子核与核度的计算，核、核度与图的连通性。第9 章～第14 章为应用部分，介绍了核与核度理论在神经网络、信息交流网络系统、可靠通信网络的优化设计、社交网络以及脑网络研究中的应用。 本书结构清晰、论证严谨，适合管理科学、系统科学、应用数学、社会心理学、神经网络等领域的科技人员，
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。
