本书重点介绍如何利用数学思想、数学理论和量化方法对于包含在现象背后的信息及其关系和逻辑进行解释、推理和判断。本书特点：1.以应用为驱动，特别侧重人文社科领域的应用；2.注重实例，书中介绍了数百个数学在生活和社会中的实例，通过实例来引入数学知识；3.简单易懂，本书力图用浅显易懂的语言和例子来介绍数学知识，帮助读者更好地理

大多数软件开发人员在复杂的代码上浪费了大量的时间。《整洁代码的艺术》提出的九大原则将教会您如何编写清晰、可维护且功能完备的代码。本书的指导原则很简单：缩减和简化，将精力投入到重要的工作上，省下大量的时间，卸下代码维护的重担。热销书作者克里斯蒂安.迈尔在本书中利用他的经验帮助许多程序员完善他们的编码技能。他给出专业建议和

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

"本书是海外优秀数学类教材系列丛书之一，从培生出版公司引进。本书在北美地区是微积分课程最畅销教材之一，已是第14版。本书历经多年教学实践检验，内容翔实，叙述准确，对每个重要专题均用语言的、代数的、数值的、图像的方式予以陈述。本书有众多反映应用微积分应用的教学实例，例题、习题贴近生活实际。本书分上、下两册出版。上册主要内

"本书是海外优秀数学类教材系列丛书之一，从培生出版公司引进。本书在北美地区是微积分课程最畅销教材之一，已是第14版。本书历经多年教学实践检验，内容翔实，叙述准确，对每个重要专题均用语言的、代数的、数值的、图像的方式予以陈述。本书有众多反映应用微积分应用的教学实例，例题、习题贴近生活实际。本书分上、下两册出版。上册主要内

"本书是结合东南大学多年来工科数学分析课程教学改革实践经验编写而成的，体系完整、内容严谨，融入新工科理念和数学实验内容，并补充了延伸阅读材料供读者自学。本书分上、下两册，上册内容为一元函数的极限与连续、一元函数微分学及其应用、一元函数积分学及其应用、常微分方程（组）及其应用，并在附录中介绍了集合、映射、一元实函数等预备

"本书与同济大学数学科学学院编写的《高等数学》（第八版）相配套，由同济大学数学科学学院的教师按照《高等数学》（第八版）的章节顺序编写而成。本书的编排与教学需求保持同步，每节（或相关的几节）包括内容要点、教学基本要求、释疑解难、例题增补、习题选解等栏目。习题选解对教材中较难并具有典型性的约三分之一总量的习题作出简要解答，

"本书是同济大学数学科学学院编的《高等数学》第八版，从整体上说与第七版没有大的改变，内容深广度符合2014年版“工科类本科数学基础课程教学基本要求”，适合高等院校工科类各专业学生使用。本次修订遵循“坚持改革，不断锤炼，努力打造培根铸魂、启智增慧的精品，为人才培养和立德树人作贡献”的要求，对第七版进行了一次细心的修订：少

"本书是同济大学数学科学学院编的《高等数学》第八版，从整体上说与第七版没有大的改变，内容深广度符合2014年版“工科类本科数学基础课程教学基本要求”，适合高等院校工科类各专业学生使用。本次修订遵循“坚持改革，不断锤炼，努力打造培根铸魂、启智增慧的精品，为人才培养和立德树人作贡献”的要求，对第七版进行了一次细心的修订：少

????为什么学数学总是学不进去，或是总也学不好？其实是你一直还没踏入数学学习的门槛。数学不是一个单独的学科，众多学科都与其相关联。在生活中，数学也无处不在。当你真正了解了数学的本质，学会用数学思维去思考一切后，你就会发现，原来数学就这么简单，而且，学数学真的会上瘾。请跟随本书，开启一段从史前时期到人工智能时代的跨越千