本书细致、全面地介绍了身边的数学知识，共16章，包含一次函数、二次函数与方程、不等式，指数、对数，三角函数，导数，积分，高等微积分，数值分析，数列，图形与方程，向量，矩阵，复数，概率，统计学等在大多数行业中常用的数学知识。本书每一节分为3 个板块：首先，标明参考星级，指导读者按需掌握程度进行阅读；其后，列出知识点概述和公式、法则，用文字进行简单讲解并配以趣味小图画，非常易于理解；最后，具体介绍这个数学知识在实际生活或工作中的应用。

本书不仅可以帮助读者加深学习或巩固数

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

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

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

数据科学和机器学习已经深度融合到我们生活的方方面面，而数学正是开启未来大门的钥匙。不是所 有人生来都握有一副好牌，但是掌握“数学 + 编程 + 机器学习”绝对是**。这一次，学习数学不再是为了考试、分数、升学，而是投资时间、自我实现、面向未来。为了让大家学数学、用数学，甚至爱上数学， 在创作这套书时，作者尽量克服传统数学教材的各种弊端，让大家学习时有兴趣、看得懂、有思考、更自信、用得着。
鸢尾花书有三大板块——编程、数学、实践。数据科学、机器学习的各种算法离不开数学，本册《矩阵力量》是“数

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

大多数软件开发人员在复杂的代码上浪费了大量的时间。《整洁代码的艺术》提出的九大原则将教会您如何编写清晰、可维护且功能完备的代码。本书的指导原则很简单：缩减和简化，将精力投入到重要的工作上，省下大量的时间，卸下代码维护的重担。
热销书作者克里斯蒂安.迈尔在本书中利用他的经验帮助许多程序员完善他们的编码技能。他给出专业建议和真实例子，展示如何：利用80/20原则，专注于重要任务——最要紧的那20%代码；避免孤立编码，创建最小可行产品，获得早期反馈；编写整洁、简单的代码，排除混乱；避免

本书主要研究了高维非线性系统的复杂动力学、全局分岔和混沌动力学。针对研究高维非线性动力系统数学理论过于抽象、难于在工程实际中应用的问题，以典型的工程振动实际问题为例，通过建立高维非线性动力学模型并发展相应的理论解决方法来启发读者。本书在内容的安排上由浅入深、循序渐进，从理论推导到工程实例，便于读者自学。

本书是一本简单的书, 也是一本复杂的书; 是一本遥远的书, 也是一本亲近的书。在书中, 作者为大家介绍了十位来自不同地区的数学先驱的生平事迹和他们的伟大成就。也许其中介绍的一些数学问题你并不了解, 也许里面的一些专业术语你并不熟悉, 但是这并不会妨碍你对他们伟大人格的理解, 也不妨碍你从他们身上了解到一些投身科学的精神。

本书介绍了一系列数学家以及他们在数学领域所取得的成就。这些成就改变了人类社会科学发展的进程, 对科学进步与发展作出了杰出的贡献。本书是一本面向中学生的数学史普及读物, 它以公元14-19世纪十位伟大数学家的生平事迹及其数学贡献为主线, 贯穿以当时数学研究和生活时代的背景状况, 为我们勾勒出这一时期数学发展的概貌。