微积分是理工科高等学校非数学类专业最基础、重要的一门核心课程。许多后继数学课程及物理和各种工程学课程都是在微积分课程的基础上展开的，因此学好这门课程对每一位理工科学生来说都非常重要。本套教材在传授微积分知识的同时，注重培养学生的数学思维、语言逻辑和创新能力，弘扬数学文化，培养科学精神。本套教材分上、下两册。上册内容包括

抽象而复杂的数学在实际生活中到底有什么用呢？本书介绍了一些在日常生活中发挥重要作用的数学和数理思想，探讨了在面对很多棘手问题时，如何借助概率、图论、博弈论、数学模型、向量等知识和思维方法来解决。读者不仅能看到数学在生活中的丰富应用，还能感受到数学的乐趣与魅力。 本书的内容深入浅出、简单易懂，适合中小学生水平以上且对数学

这是一本讨论如何发掘孩子数学天赋的书。作者以每一个孩子都潜藏着数学天赋，以及在家庭中都可以有效提升智商为前提，讲述数学启蒙的途径与方法。比如，何时开启数学启蒙？家庭中如何开展与数学启蒙相关的项目？启蒙过程中需要注意的要点？怎样让孩子爱上数学？如何保持孩子对数学的兴趣，等等。由此帮助孩子铺开一条通往数学殿堂的康庄大道。

本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养

信念修正是人工智能的研究分支之一。在哲学、认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出，它是任何一个合理的信念修正算子应该满足的最基本条件。本书作者李未院士在20世纪80年代中期提出了R-演算，这是一个满足AGM公设、非单调的并且类似于Gentzen推理系统的信念

本书是全国高等教育自学考试“线性代数（工）”指定教材，本次改版是根据自考办在规划课程时，重新设置了本课程的名称，进行的改版。本书内容的修订，主要根据《线性代数（工）自学考试大纲》，对例题、习题等再进行优化，对知识点的讲解再突出重点，更好地适用于参加自学考试的学生。同时将建设本教材配套的数学资源。数字资源的建设主要对教材

本书根据教育部高等学校大学数学课程教学指导委员会制定的“经济和管理类本科数学基础课程教学基本要求”，并结合编者长期从事高等数学教学的经验及应用型本科院校学生的基础和特点进行编写的。内容包括：函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用。书内各节后均配有相应的习题，各章后有相应的综合练习，书后附有习