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

近代 数理逻辑学家王浩在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，他一生痴迷于哲学研究，是对世界哲学作出过深刻贡献的华裔学者。本书是王浩的代表作，是其正面集中阐释自己哲学思想的作品。循着从柏拉图到哥德尔的“数学-哲学家”传统，王浩在书中 对实质事实主义一般立场进行了长篇阐发；广泛、深入地讨论了数学哲学的诸议题；探索了心灵与机器、数学与计算机、知识与生活等话题；还重点考察了逻辑和数学领域的一些基本概念。此次中译本 出版，由专业译者精心翻译，以助读者 好地理解王浩的数学哲学思想。

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

人类发明数学公式，来描绘浩瀚宇宙和人生百态。世界的繁华秀丽，映衬出符号公式的简洁之美。爱因斯坦的质能方程和杨振宁的规范场，摸索出宇宙 游戏的规则；费马大定理和欧拉恒等式，揭示出宇宙变化背后的数学世界；从凯利公式到贝叶斯定理，逐渐 预测人类行为；蝴蝶效应的洛伦兹方程组和三体问题，则告诉我们数学的界限。 量子学派倾心打造《公式之美》，包含23个普遍、深刻、实用的公式，书写天才们探索自然和社会的辉煌历史。

《数学基础研究》是后期维特根斯坦有关数学哲学的研究结晶。其主要内容是根据其后期的新的哲学理解对当时流行的数学基础研究中的形式主义思潮、逻辑主义思潮、直觉主义思潮进行分析和批评。维特根斯坦在其打字稿中，记录了其对于数学的思考。《数学基础研究》收录了其打字稿中他对于数学的一些评论，包括完整收录了TS213第二部分内容、TS222和MS164。

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

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

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

在科学翻译史上，汉译《几何原本》（1607年）是一项杰出的成就。利玛窦与徐光启筚路蓝缕，以古文风韵，译拉丁原典，风格传神，令人心悦诚服，梁启超曾赞其为“字字金珠美玉”。《几何原本》的翻译也是历史上欧洲与中国首次文化冲撞的一个侧面，故其价值不仅限于数学史或科学史，在近代中西文化交流史上亦具重要价值。 安国风博士的这本《欧几里得在中国》，着力把握晚明社会学术思潮变化的大背景，突出《几何原本》作为“异质”文化（如抽象性、演绎性和公理化）的特点，详细探讨了欧氏几何向中国传播的前因后果；同时，通过对古典文献的梳理引证，对相关人物、著作的评述与分析，揭示了明清之际中国传统数学思想的嬗变历程。本书原著被列入“莱顿汉学”(Sinica Leidensia)丛书。

Origin 是由 OriginLab 公司开发的一个科学绘图与数据分析软件，该软件具有丰富的绘图功能及数据处理与分析功能，已被广泛应用于科技论文与论著的出版。 本书共 8 章，汇集 150 个实例，涵盖 Origin 基础与基本操作、绘图规范及其导出、数据类型及其导入方法、二维绘图、三维绘图、拟合与分析、数据与信号处理、高效率绘图等内容。本书内容翔实、实例丰富、实用性强，可使读者在较短时间内掌握 Origin 2023，并能从具体实例中获取 绘图技能和绘图优化灵感。 本书既适合作为高等院校和科研院所的科技绘图及数据分析实例教学用书，也是科技企业的科技工作者和工程技术人员的宝典。

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

《现代数学基础：微分方程与数学物理问题（中文校订版）》包含特为初学者，简明和自包含的基本经典方法的介绍，轻松进入李群分析方法的学习，书中所描述的方法有着广泛的应用，友好的描述方式和实用的例子使《现代数学基础：微分方程与数学物理问题（中文校订版）》拥有众多的读者群。

人类文明的进步与数学的发展紧密相连。本书介绍了数学史上对人类生活产生重要影响的方方面面，从古巴比伦、古埃及和古罗马的记数系统开始，到算术、代数、几何、三角、坐标、微积分，一直到抽象代数、非欧几何、数论、逻辑、混沌。作者用简单易懂的文字向读者介绍了数学的每一个重要领域，无论是费马大定理、哥德巴赫猜想，还是罗素悖论、哥尼斯堡七桥问题，斯图尔特教授都深入浅出，将其化为若干片段，用讲故事的方式帮助读者理解。同时本书也介绍了很多伟大的数学家，包括欧几里得、阿基米德、迪卡儿、费马、牛顿、莱布尼茨、热尔曼、柯西、欧拉、傅里叶、高斯、阿贝尔、哈密顿、黎曼、伽罗瓦、柯瓦列夫斯卡娅、庞加莱、希尔伯特、哥德尔、怀尔斯、佩雷尔曼，等等。

该书是匈牙利裔英国籍著名哲学家伊姆雷·拉卡托斯于20世纪60年代完成的一部探索数学史上新发现的产生过程的力作，主要阐述作者用5年时间收集的两个典型的数学案例，以及本书编者添加的拉卡托斯1961年在剑桥大学所撰博士论文的部分片段。 拉卡托斯是用对话体的形式进行写作的，他虚构了教师在课堂上与学生们讨论正多面体欧拉公式 V-E F=2 的猜想与发现、证明和反驳的全过程，形象地展现了数学史上对此问题进行研究探索的真实的历史图景，以此来挑战和批判以希尔伯特为代表的认为数学等同于形式公理的抽象、把数学哲学与数学史割裂开来的形式主义数学史观。这篇光辉论著旨在解决数学方法论的基本问题，以一种探索和发现的情境逻辑来代替形式主义和逻辑实证主义的抽象教条。正如拉卡托斯所说，非形式、准经验的数学的发展，并不只靠逐步增加的毋

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

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