本书共计6章,主要包括函数、极限与连续、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用和微分方程。为方便学生自主学习,教材每节有对应的同步习题,每章有章习题、章测验题、MATLAB实例、知识结构导图及习题答案等,并有配套完备的数字化教学资源。

本书是基础数学领域的畅销书籍之一，全书以通俗易懂的文字和图表，结合日常生活中的大量实例，系统地介绍了数学各领域的重要基础知识，深入浅出地探讨了常见概念、原理、方法和应用。全书共14章，主要内容包括问题求解、集合论、逻辑、图论、数系、数论和实数系、代数模型、消费者数学、几何、分配、投票、计数、概率以及描述性统计等。全书强

对于许多受过数学考试之苦的人来说，提起数学，或许总有种如鲠在喉的不悦。然而，在生活中，数学化身成为各种形式，不仅巧，而且美。相信阅读这本书的读者将会领略到数学之美，了解到数字、公式图形的魅力。《日常生活中的数学》分为4章。先讲算法之妙——令人着急的排队问题中也有大学问；其次讲算术之巧——用小技巧心算、速算两位数乘法；再

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

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

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

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

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

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

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