本书是两册泛函分析教材中的上册，系统地介绍了线性泛函分析的基础知识。全书共分四章：度量空间、线性算子与线性泛函、紧算子与Fredholm算子，以及广义函数与Sobolev空间。本书的主要特点是侧重于分析若干基本概念和重要理论的来源和背景，强调培养读者运用泛函方法解决问题的能力，注意介绍泛函分析理论与数学其他分支的联系。

本书开创趣味数学与程序设计的交汇融合。书中精选并提出各类趣味数学问题，突出趣味性与吸引力，包括神奇整数探求、素数世家风采、数式精彩纷呈、方程经典汇趣、精巧求解剖析、多彩数列欣赏、最优探索展示、数形结合出彩、智能游戏探秘和数阵天地大观等。

本书对公理化集合理论的基础知识进行了系统介绍。全书共分为十章，包括命题逻辑、谓词逻辑、公理集合论初步、关系、重建数系、等势与优势、良序关系、序数、基数、选择公理。本书强调培养学生的逻辑思维能力；本书不需要读者具有较多数学知识，具备高中数学知识基础的读者也可完全掌握本书的内容，只需要读者多思考即可。本书可以作为高等院校工

本书面向“新工科”建设背景下普通高等学校的计算机类和软件工程专业类的本科生，以培养学生离散建模基础能力为目标，论述逻辑、证明、集合、函数、关系、算法、整数与同余、组合计数、图论以及代数系统相关基础知识，覆盖ComputerScienceCurricula2013离散结构知识体的所有知识单元。与传统离散数学教材相比，

离散数学是计算机相关专业的主干课程之一。本书将理论紧密联系实际，摒弃了一些烦琐的定理证明，从工程实际出发，引入工程案例和解决方案，注重提升学生的应用模拟解题技巧，力求做到脉络清晰，重点突出，精讲多练，实用有效，从而培养学生的抽象思维和缜密概括能力。 本书内容包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和

本书为日本数学家、“日本现代数学之父”高木贞治创作的分析学入门名著。作为衔接古典与现代的集大成之作，它被誉为日本现代数学发展的“不动之根基”，也成为日本所有微积分教材、专著的参考原点。本书从严密的实数理论出发，以初等函数理论为重点，用直观、易读的讲义式叙述方式，追溯了微分、积分概念的起源与数学分析理论发展的历史轨迹，将

世上千千万的事物均可通过量化来描述，而测量的方法也千千万！数学魔法师会带着你探索如何测量长度，重量和体积！俏皮和有趣的插图让小读者很容易理解如米、升和克之类的基本单位，测量变得前所未有的容易。书中通过趣味插图简单介绍了世界通用的度量方法的来源及简史，全书用魔法师形象贯穿，带领小读者解读各个度量单位的具体意义和衡量方式。

有想过一百万的东西意味着什么吗？十亿呢？还有万亿？让数学魔法师来告诉你！一百万其实很简单，比如从1开始数数，需要花23天才能数到100万；用鱼缸装进一条鲸鱼的容量相当于装进100万条金鱼……书中用非常日常化的例子量化百万级的数字概念，通过有趣的、幽默的方式将复杂的数字简化，说明孩子们理解困难的数学概念。

本书共分6章，内容包括行列式、矩阵、矩阵的初等变换与线性方程组、向量组的线性相关性、特征值和特征向量、二次型。各章的每一节后均配有适量的习题，书后附有习题答案和提示。本书的基本概念、理论和方法，具有较强的逻辑性、抽象性和广泛的实用性，便于教学和自学。

本书依据《理工类本科高等数学课程教学基本要求》写作而成，配套从福仲编著的《高等数学新理念》教材，适用于高等院校理工类非数学专业高等数学课程教学。根据该套教材的特点，本书针对课后习题进行了详细的解答和剖析，给出了详细证明过程，并配套了一些图形，为学生更好更深入的掌握和理解高等数学的内涵起到一定的辅助作用。同时希望通过本书