《DK数学百科（全彩）》内容简介：几千年来，人类一直处于探索、发现数学真理的征途中。数学试图为伟大的思想找寻简洁的解释方法，数学致力于发现特征并总结特征。从上古时代的莱因德纸草书、芝诺运动悖论，中世纪的二项式定理、斐波那契数列，文艺复兴时期的梅森素数、帕斯卡三角形，启蒙运动时期的欧拉数、哥德巴赫猜想，19世纪的贝塞尔函数、黎曼猜想、拓扑学，到近现代的无限猴子定理、模糊逻辑、四色定理，本书介绍了数学领域的诸多伟大思想，并用通俗易懂的语言进行阐释。让我们一起翻开这本书，品味数学的优雅与美丽。

本书源于几位作者任教的加州大学伯克利分校、斯坦福大学等高校开设的相关课程。这些课程紧随大数据时代和金融科技的热点，面向金融工程和计算金融项目的学生。当今，量化交易策略及其相关的统计模型和方法、知识表达、数据分析和算法设计以及信息学的重要性越来越高。在此背景下，本书从多学科角度对于量化交易进行了综合阐述,同时也为学术研究和金融实务搭建了桥梁。量化交易涉及多个学科，且横跨学术界与业界。几位作者结合他们在多个学科的学术背景和丰富的业界工作经验，在撰写本书过程中综合考虑了不同类型读者的核心需要。本书的目标受众既包含高年级本科生、硕士生等在校学生，也包含有志于学习量化交易领域知识和现代交易实务的交易员、量化分析师以及监管者等。考虑到目标受众的背景和兴趣的差异，本书对于章节进行了特别安排

二乘估计理论与方法在无源定位领域应用广 泛，并且取得了显著成果。然而，现有的二乘定 位算法大都是针对具体而特定的观测方程设计的，缺 乏统一的模型框架。为了建立统一的数学模型和理论 框架，本书总结归纳出无源定位中的八类二乘估 计理论与方法。针对每一类二乘估计理论与方法 ，分别设计一个无源定位算例，并给出其仿真实验结 果，用以验证书中算法推导的正确性和理论性能分析 的有效性。本书最后描述一些无源定位中的推广场景 ，并将提出的部分二乘估计理论与方法推广应用 于其中。 王鼎编著的《无源定位中的广义二乘估计理 论与方法》可作为高等院校通信与电子工程、信息与 信号处理、控制科学与工程、应用数学等学科的专题 阅读材料或研究生选修教材，也可供从事通信、雷达 、电子、航空航天等领域的科学工作者和工程技术人 员

希思的《希腊数学史》是数学 的名著，也是古典数学流派的研究之作，原书为两卷本，此次出版的 卷叙述的是从“数字”开始，经历代数的四则运算，发展到公理体系的几何学的建立。怎样记录数字，比如希腊人的记数法、楔形文字中对数字的表达，古希腊人对0这个数字的运用，以及在四则运算中，各不相同的乘除运算法，都是本书记述的内容。从简单的定理的产生，到欧几里得几何公理体系的建立，又是一段对人类逻辑思辨起奠定作用的历史。本书作为其作的 卷，副标题为“从泰勒斯到欧几里得”。作为数学史的名作，本书从作者的分析角度出发，展现了一段精彩纷呈又激动人心的数学发展史。

本书是一本久负盛名的经典之作，两位作者DanielP.Friedman、MatthiasFelleisen在程序语言界名声显赫。全书介绍了Scheme的基本结构及其应用、Scheme的五法十诫、Continuation-Passing-Style、PartialFunction、Y-Combinator、Interpreter等内容，并通过这些内容阐述了计算的一般本质。本书没有什么理论性描述，所有概念都蕴含在独特的引导式一问一答过程中，这种方式让读者对程序大师运用熟稔的程序方法来驾驭概念的能力叹为观止。通过阅读本书，可以让读者领略递归的奥妙、函数式编程风格的魅力。阅读完毕会有一种意犹未尽的感觉。本书适合所有程序员阅读，特别是函数式编程爱好者。好好享用！

本书是为大学生写的，包括数学专业的大学生也包括非数学专业的大学生。内容主要包括：数学的推理；基本推理的基础；具有传递的推理；具有传递关系的推理；具有传递关系的运算；现代数学基础；集合论；借助符号表示的推理；中国古代的命题，定义和推理。

本书从小学生知道的三角形内角和的知识以及三角形面积公式出发，举一反三，推陈出新，直观而严谨地给出正弦的新定义。在此基础上，轻松得到正弦定理、和角公式、勾股定理等一系列三角公式和几何定理，揭示出几何、代数和三角的基本知识之间的密切联系，以三角为主线，构建了初等数学的新体系。书中思想新颖，方法简明犀利，说理严谨，特别着力于从平凡处发掘创新的思路，引导读者发现问题深入思考。全书分为5个部分：正弦和正弦定理；正弦和角公式；余弦和余弦定理；四边形；圆和正多边形。大体上覆盖了初中应掌握的几何、代数和三角的基本知识。书中每节都安排了例题和习题。 本书作为教育数学的研究成果，为数学教材的改革提供了一条新路，可作为师范院校数学系辅助教材，供数学教师教学和进修时参考，也是数学爱好者的读物。

本书讲述了数学思想是指数学发展所依赖的思想，在本质上有三个：抽象、推理、模型，其中抽象是最核心的，高度的抽象性是数学的根本所在。本书中所说的数学思想不是指学习数学时所涉及到的思想，也不是解数学题时所涉及到具体的思想方法，而是指数学发展所依赖、所依靠的思想。

本书是为大学生写的，包括数学专业的大学生也包括非数学专业的大学生，我希望他们都能够读懂，都能有所收获。这本书强调的不是呈现清晰的数学知识，而是强调借助数学知识呈现清晰的数学思想，因为这不是一本数学的教科书而是一本数学思想的教科书。

本书源于几位作者任教的加州大学伯克利分校、斯坦福大学等高校开设的相关课程。这些课程紧随大数据时代和金融科技的热点，面向金融工程和计算金融项目的学生。当今，量化交易策略及其相关的统计模型和方法、知识表达、数据分析和算法设计以及信息学的重要性越来越高。在此背景下，本书从多学科角度对于量化交易进行了综合阐述,同时也为学术研究和金融实务搭建了桥梁。量化交易涉及多个学科，且横跨学术界与业界。几位作者结合他们在多个学科的学术背景和丰富的业界工作经验，在撰写本书过程中综合考虑了不同类型读者的核心需要。本书的目标受众既包含高年级本科生、硕士生等在校学生，也包含有志于学习量化交易领域知识和现代交易实务的交易员、量化分析师以及监管者等。考虑到目标受众的背景和兴趣的差异，本书对于章节进行了特别安排

《语言与数学》内容简介：如何实现语言的机器翻译？如何从海量的语言文字中抽取有用信息？如何利用自然语言进行人机对话？自然语言与计算机程序语言是否一致？如何自动合成语音……信息时代对自然语言的处理使语言学与数学紧密结合在一起。作者从事计算语言学研究几十年，潜心探索出语言符号的七种新特性。《语言与数学》详细论述了这七种特性与数学的关系，反映了当前国内外语言与数学关系研究方面的成果。《语言与数学》内容丰富，讲解深入浅出，文字流畅易读，可供广大语言学、教学工作者，以及对语言与数学感兴趣的相关人士阅读。语言符号的随机性与统计数学、语言符号的冗余性与随机过程、语言符号的离散性与集合论、语言符号的递归性与公理化方法、语言符号的层次性与图论、语言符号的非单元性与复杂特征的运算、语言符号的模糊

本书包括：分析中注入严密性、实数和超限数的基础、几何基础、19世纪的数学、实变函数论、积分方程、泛函分析、发散级数等。本书是《古今数学思想》丛书中第四册，本书论述了从古代一直到20世纪头几十年中的重大数学创造和发展，目的是介绍中心思想，特别着重于那些在数学历史的主要时期中逐渐冒出来并成为最突出的、并且对于促进和形成尔后的数学活动有影响的主流工作。本书所极度关心的还有：对数学本身的看法，不同时期中这种看法的改变，以及数学家对于他们自己的成就的理解。

《语言与数学》内容简介：如何实现语言的机器翻译？如何从海量的语言文字中抽取有用信息？如何利用自然语言进行人机对话？自然语言与计算机程序语言是否一致？如何自动合成语音……信息时代对自然语言的处理使语言学与数学紧密结合在一起。作者从事计算语言学研究几十年，潜心探索出语言符号的七种新特性。《语言与数学》详细论述了这七种特性与数学的关系，反映了当前国内外语言与数学关系研究方面的成果。《语言与数学》内容丰富，讲解深入浅出，文字流畅易读，可供广大语言学、教学工作者，以及对语言与数学感兴趣的相关人士阅读。语言符号的随机性与统计数学、语言符号的冗余性与随机过程、语言符号的离散性与集合论、语言符号的递归性与公理化方法、语言符号的层次性与图论、语言符号的非单元性与复杂特征的运算、语言符号的模糊

线性模型的一阶可解性从可分离系数的排序规则开始，发展为梯度递增的凸性规则，再到拟阵与独立系统，从而概括一大类经典问题。二阶可解性是借助限位结构，将求解途径纳入基于交错链变换的匹配型算法。可解性的另一线索是从局部的偏序关系扩张为整体的全序关系，即偏序集的线性扩张方法。进而，一旦遇到划分结构，便进入难解性境地。证明NP-困难性的方法，是运用模拟、强迫及变尺度的技巧，构造时序问题的划分模型。在判定NP-困难性之后，算法主要是隐枚举，即动态规划与分枝定界。运用动态规划建立伪多项式时间算法，为近似算法做准备。难解性问题的最终归宿是近似算法设计与分析，其中性能比分析的主导思想是运用均值下界及关键工件进行结构松弛，任意精度逼近是运用伸缩尺度方法。，概述空间模式的顺序优化，包括车行路线、电路布线、