本书为理论物理学家大栗博司先生写给自己女儿的数学启蒙读物, 全书以用“数学语言”解读自然为线索, 用生动故事和比喻重新讲解了数学的核心原理与体系, 并且讲解了把数学作为一门“语言”的思维方式, 是数学入门, 重新理解数学的科普佳作。书中以日常生活的真实事件为话题, 按从形象、具象到抽象的顺序讲述了生活话题背后的数学原理, 为读者提供了从数学角度看待世界的方法。

本书收录了十位20世纪后半叶的数学家, 他们每个人都在数学史上留下了自己的足迹。在美国成为数学研究中心的时代里, 他们是更加多元化的国际数学大家庭的成员, 构成了这个大家庭的横截面。在这个时期内, 很多长期以来开放性的问题得到了解决, 纯数学和应用数学得到了大发展, 新数学思想的引入使得主要技术进步成为可能。

"本书是同济大学数学科学学院编的《高等数学》第八版，从整体上说与第七版没有大的改变，内容深广度符合2014年版“工科类本科数学基础课程教学基本要求”，适合高等院校工科类各专业学生使用。本次修订遵循“坚持改革，不断锤炼，努力打造培根铸魂、启智增慧的精品，为人才培养和立德树人作贡献”的要求，对第七版进行了一次细心的修订：少数地方作了一些必要的修改，个别章节补充了例题；对习题进行了适当的调整和补充，更换了少量习题；附录增加了初等数学几个内容简介；增加了释疑解难、例题精讲等数字教学资源，使用时

本书系统介绍了数学建模的理论知识和求解方法，结合典型实例全面阐述了数学建模解决实际问题的基本过程。内容涵盖了数学建模课程中的一些基本方法和基本模型，包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型等。

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

　　《在教学中寻找数学的美》从一个特殊的视角——数学教育教学，探索寻找与教学紧密联系的数学的内在之美、人文之美、应用之美、思维之美、空间之美、字符之美、哲学之美、政论之美、改革之美、教学设计之美、研究过程之美、教学实践之美、学生热爱数学之美……
　　读者阅读《在教学中寻找数学的美》，可以与作者一起探究数学与教学相结合之美的独特性在哪里，感受数学之美的内涵与外延。
　　相信读者阅读《在教学中寻找数学的美》，能感受到数学别样的美，体会到进行数学研究与教育教学的宝贵精神与美丽心情，一定会有

本书详细介绍小波变换的起源、原理和应用, 内容覆盖傅里叶变换、窗口傅里叶变换、框架理论、连续小波变换、多分辨率分析、Daubechies 正交小波、小波包、小波提升理论以及小波在信号处理和图像处理等方面的应用, 涵盖了发展比较成熟的小波分析的所有基本内容。另外, 本书特别关注实际应用和数学理论之间的关联, 强调解决实际问题中的数学原理以及解决问题所需要的数学思维和方法。

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提供了文献出处,又对结论的特性和价值进行了剖析,提供了针对性的数值算例.书中所列彩图均可扫描封底二维码进行查看.
本书力求通俗易懂、简洁实用,从问题到方法,从算例到应用,前后呼

《几何基础》是数学大师希尔伯特的一部名著，首次发表于1899年，该书第一次给出了完备的欧几里得几何公理系统。全体公理按性质分为五组（即关联公理、次序公理、合同公理、平行公理和连续公理），他对它们之间的逻辑关系作了深刻的考察，精确地提出了公理系统的相容性、独立性与完备性要求。为解决独立性问题，他的典型方法是构作一个模型，不满足所论的公理，但却满足所有其他公理。采用这种途径可赋予非欧几何以严密的逻辑解释，同时开拓了建立其他新几何学的可能性。对于相容性问题，他的重大贡献是借助于解析几何而将欧氏几

本书共分五章，第一章为预备知识，主要介绍度量空间及其上的各种压缩型映射的不动点理论的基本知识。第二章主要介绍b-度量空间上广义压缩型映射的不动点理论及其应用知识。第三章主要介绍b-度量空间上的广义压缩型映射的不动点理论及其应用知识。第四章主要介绍矩形b-度量空间上的广义压缩型映射的不动点理论及其应用知识。第五章主要介绍偏度量空间、G-度量空间、锥度量空间等广义度量空间上压缩型映射的不动点结果。