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

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

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

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

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

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

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

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

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

本书为理论物理学家大栗博司先生写给自己女儿的数学启蒙读物,全书以用“数学语言”解读自然为线索,用生动故事和比喻重新讲解了数学的核心原理与体系,并且讲解了把数学作为一门“语言”的思维方式,是数学入门,重新理解数学的科普佳作。书中以日常生活的真实事件为话题,按从形象、具象到抽象的顺序讲述了生活话题背后的数学原理,为读者提供