本书是海外优秀数学类教材系列丛书之一，从培生教育集团引进。本书向学生介绍各种证明方法、分析证明过程，以帮助学生独立撰写正确且清晰的证明过程。书中先介绍逻辑基础，再引入各种常用的证明方法，如直接证法、反证法、数学归纳法等，然后详细分析数学各分支（数论、组合学、数学分析、群论、高等代数等）中的典型证明过程。各章的练习因其精

数学史见证了人类从对数量和形状的懵懂认知，到构建起精妙绝伦的数学理论体系的历程。将数学史融入数学教学，是为了赋予数学以生命和灵魂，让学生明白，数学并非枯燥的数字和字母等的堆砌，而是解决实际问题的有力工具。那么，全球数学史教学的情况如何？作为教师，我们应该如何将数学史有效地融入日常的教学中？本书从理论和实践两方面入手，深

本书是一本大学生数学竞赛参赛的指导书，同时也是一本学习微积分的复习书。我们对微积分的内容进行整理归纳出知识要点，并通过典型例题的解法分析加以综合，使读者对微积分的每个知识点得以融会贯通。看书和动手解题相结合必能使你学会如何去理解数学知识、如何去分析推理，从而对背景和题型稍新的数学问题不再束手无策，培养自己的数学思想，提

本书以通俗易懂的语言向读者描述了各类常用算法。全书包括四个部分，涉及排序与搜索、算术与密码、规划、协同与设计、优化四个领域，每个部分都给出该领域中常用的算法，每一个算法都从一个实际的生活场景引入。通过作者深入浅出的介绍，读者可以轻松了解计算机科学中常用的算法的原理，具备初步的计算思维能力。本书适合作为高校计算机科学入门

本书是两册泛函分析教材中的下册，作为数学专业研究生公共基础课教材，与本书上册共同构成完整的泛函分析教学体系。本书延续了上册的编写理念，注重理论来源与背景的阐述，深入探讨泛函分析与数学物理、偏微分方程及随机过程等领域的密切联系。全书共分四章：Banach代数、无界算子、算子半群、无穷维空间上的测度论。本书的主要特点是侧重

推理是由已知的判断推出新判断的过程，是获得间接知识、解决和论证问题的重要手段。数学推理是利用数学规律和规则得出结论的抽象过程，数学课程是培养推理能力的重要载体。在公安工作中，推理能力是进行案件侦查、审理，提高办案效率、质量所必需的重要能力。公安院校是公安教育的主阵地，公安院校应该着力培养掌握公安工作所需素质和技能的人才

"本书分为上、下两册，上册内容包括极限与连续、导数与微分、微分中值定理与导数的应用、原函数与不定积分、定积分、定积分的应用和微分方程。全书注重讲述高等数学的思想和方法，重视概念与理论的阐述和分析，内容阐述力求简单明了、深入浅出。例题精心选择，题型丰富，由易到难，帮助读者领会和理解数学概念，掌握思想方法。同时，配以丰富的

本书共分为5章，主要概括如下：第1章介绍全书的基本概念和符号，包括半群、自由半群、本原字、代数码的运算。第2章介绍自动机基本理论。第1节介绍自动机的定义和表达方式、可识别语言等概念，以及著名的Pumping引理。第2节介绍语言的正则性和可识别性等价。第3节介绍语言的可识别性和有理性等价，进而得到语言的正则性、可识别性和

本书包含了集合论与图论课程需涵盖的概念、理论、方法和应用,主要包括两部分:集合论与图论。集合论部分主要包括集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数;图论主要包括图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度和匹配、平面图和图的着色、有向图等。

本书主要涉及高等微积分的知识，对于一些经典结果作了现代化的处理，利用微分流形及微分形式，简明而系统地讨论了多元函数的微积分。全书共5章，包括欧几里得空间上的函数、微分、积分、链上的积分、流形上的积分。内容深入浅出，论证严格而易于理解。高等微积分的部分内容，因为其概念和方法比较复杂，所以在初等水平上难以严格处理，本书专门