数学曾经被视为枯燥艰涩的学问，但瑞士数学家阿敏·巴特却不这么看。在这本非凡的冒险中，我们将跟随高斯、费马、欧拉、哥德尔乃至埃尔德什的脚步，进入一个神奇的世界。从翻床垫、玩游戏、过十字路口这些生活中的小事情入手，我们自然而然就懂得了数论、图论、矩阵、无穷、哥德尔不完备定理等数学上最深刻、最重要的思想。书中随处可见非凡的思

《经济类联考·396数学要点精编》由考研数学名师张天德老师精心编写，本书根据考纲对考试范围和能力的要求，结合历年考试真题重难点，对数学部分从微积分、线性代数、概率论三方面进行梳理讲解。本书分为微积分、线性代数、概率论、综合测试四个部分。 其中前三部分主要从知识层面及题型训练的角度讲解，每章内容包括【本章知识梳理】【历

非线性泛函分析是现代数学的重要方向，包括拓扑方法、变分方法、半序方法以及应用等多方面内容作为数学专业的研究生教材，《拓扑与变分方法及应用》主要介绍拓扑方法、变分方法的发展历史、基本理论、前沿研究进展及应用，主要内容包括：非线性算子性质、隐函数定理、连续性方法、Lyapunov-Schmidt约化方法、单调性方法、拓扑度

信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的最基本条件。《R-演算：一种信念修正的逻辑》**作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且

本书是作者在从事时标上的微分方程定性理论研究工作的基础上写成的。本书定义了时间尺度上的一类Sobolev空间并研究其重要性质。作为这类Sobolev空间的应用,应用变分方法中的临界点定理获得几类时间尺度上的动力系统解的存在性和多重性。 本书可供高等院校理工科研究生以及教师从事从事科学研究工作作为参考书使用，也可供从从

本书是在《编码理论》第1版的基础上,根据教学基本要求和教学大纲修订而成的。教材面向工科类高等院校的通信与信息工程学科学生编写,主要介绍了编码理论的基本知识和工程应用。全书共8章,主要内容包括线性分组码和卷积码。线性分组码中主要介绍循环码、BCH码、RS码;卷积码中主要分析了反馈大数逻辑译码、序列译码和维特比译码;最后对

解析几何的奠基之作。作者认为古希腊人发明的几何学过于依赖图形，束缚了人的想象力，而且没有说明得出结论的原因；代数学则从属于法则和公式，不能成为改进智力的科学；而三段论的逻辑不能产生任何新的知识。他创造的“真正的数学”，结合三者优点，去掉它们的缺点，用自己发明的坐标系构建了几何图形与代数表达的桥梁，以此为工具研究了直线、

本书向读者介绍了代数学自诞生以来的发展历程，内容涵盖代数学中的重要概念，如未知量、抽象概念、方程、向量空间、域论、代数几何，等等。作者以诙谐的笔触展现了代数几千年发展史中的重大事件和核心人物，并介绍了代数的基本知识，以代数这一重要而有趣的角度呈现数学思维的戏剧性进化历程，向读者展现了一种感知世界的全新方式。作者凭借历史

本书内容包括：极限与连续、导数与微分、中值定理与导数应用、不定积分、定积分及应用、微分方程初步等内容。同时配有数字教学资源电子教案、Maple、Mathematica、Geogebra实验、Excel实验、微课、音频、视频等内容，供师生参考(微信二维码扫描即可)。本书可作为本科和专科院校相关专业“微积分”课程教材或参考

在计算机中处理三维几何对象的前提是其数字化表示以及如何建模得到这样的数字化表示。在不同的应用场合，这些数字化表示还会被进一步加工处理，甚至进行各种分析和模拟仿真。本书以当前数字体验、虚拟现实、3D打印等新兴研究领域中的三维离散几何处理问题为重点，系统全面地介绍作者在网格模型的几何处理、建模、分析和物理模拟等方面的研究成