本书是王海敏主编的《简明高等数学》(浙江工商大学出版社)的配套用书。
本书按教材各章节顺序编排，每章内容由两部分组成：第一部分内容概要，主要是系统归纳总结这一章的基本概念、基本定理和基本方法，梳理知识结构；第二部分习题全解，与教材的习题一一对应进行详细解答，方便读者检查对所学内容的掌握程度，巩固学习效果。

上海大学理学院数学系，成立于1960年，其前身是上海科技大学数学系，由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成，本书主编为杨建生。杨建生，基础数学博士，上海大学数学系教授。《微积分强化训练题》（第三版）是2015年上海普通高校优秀本科教材《高等数学（上、下）》(上海大学数学系编，高等教育出版社出版)配套辅导书。全书由三个部分组成，分别对应上海大学三个学期教学内容。 第一部分含有13套训练题，涵盖函数极限与连续、导数与微分、微分中值定理及其应用、不定积分与定积

本书为公共基础课《高等数学》配套用书，供学生课后训练作业之用。本书是根据一线教师多年的教学实践经验编写的，目的是使学生课后的学习训练更加合理，更加规范，使每届学生都能经过精心设置高水平的作业训练，尽可能保证每届毕业生都是标准化高质量的人才。
考虑到以前每节课不同老师给学生布置的作业都各不相同随意，题多题少也看当时心情，在课后作业布置上不科学不够合理。基于此，作者编写了本作业册。内容为各课课后合理布置的作业。本作业册下册内容包括：多元函数微积分、无穷级数、常微分方程、线性代

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

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

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

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

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

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

本书介绍了一系列数学家以及他们在数学领域所取得的成就。这些成就改变了人类社会科学发展的进程, 对科学进步与发展作出了杰出的贡献。19世纪是数学发展承前启后的时期, 这一时期的数学家完善已知数学领域, 使之严密化; 提出众多革命性的思想和概念, 为继任者们开辟大量新“战场”。本书中描述的十位近代数学奠基者, 用他们的生平和探索向读者展示那个缤纷的时代和那些闪亮整个数学科学的思想火花。