本书是在国家精品课程、国家精品资源共享课程和国家级一流本科课程“离散数学”的基础上，结合卓越工程师教育培养计划和新工科建设编写而成的。全书共10章，系统介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例，充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。

如果有人说他在说谎，那么他是不是一个说谎者？只给不为自己理发的人理发的理发师为什么不能给自己理发？古希腊的长跑冠军为什么追不上乌龟？全能的上帝能否造出一辆自己开不走的车？……悖论，就是按照正确的逻辑推理，却得到矛盾的结果。《非是非非：世界经典趣味悖论》汇聚了世界各国千年来最经典的悖论：白马非马、飞矢不动、囚徒困境、鳄鱼悖论、特修斯之船，罗素悖论，亨佩尔的乌鸦、扑克牌悖论……让你和绝代智者做一番脑筋较量。

为了提升中小学生对数学学习的热情，《小状元速算手册》有别于中国传统数学教育和珠心算教学方法，全面讲解了一套全新的速算理论。本书阐述的速算理论简单易学，只需每天坚持学习20分钟，不出半个月，你的速算成绩定会独秀于人。《小状元速算手册》是一本以实用为第一目的的读本，方便学习者随时查阅学习和巩固已学内容，逐步增加阅读者的学习兴趣。

图像信号本质上可以看作是关于一组基向量的稀疏表示，而稀疏表示是获得、表示和压缩图像信号的一种强有力的工具。从稀疏约束的角度来划分，可以将稀疏表示分为五类，分别为（1）基于最小化L0范数的稀疏表示，（2）基于最小化Lp（0＜p＜1）范数的稀疏表示，（3）基于最小化L1范数的稀疏表示，（4）基于最小化L2,1范数的稀疏表示，也交组稀疏表示和5）基于最小化L2范数的稀疏表示。在本书中，全面分析了每一种稀疏表示形式的目标函数和优化算法，并综合分析了最新的基于稀疏表示理论的应用。本书可以作为研究稀疏表示和

本书主要介绍了数学分析中的内容，以构造数系和集合论开篇，逐渐深入到级数、函数等高等数学内容，举例详实，每部分内容后的习题与正文内容密切相关，有利于读者掌握所学的内容。本书在附录部分还介绍了数理逻辑基础和十进制，突出了严格性和基础性。

本书共11章，主要内容包括：函数、极限与连续，导数与微分，微分中值定理与导数的应用，不定积分，定积分及其应用，微分方程，空间解析几何简介，多元函数微分学及其应用，二重积分，无穷级数，微积分在经济领域中的应用等.每章都配有习题及总习题，书末还附有习题参考答案.本书可作为高等院校非数学专业本科学生的教材或教学参考用书.

《新世纪高等学校规划教材·数学系列:数学教学论(第2版)》由9章构成，包括：第1章现代数学教育发展概况；第2章我国基础教育数学课程改革概要；第3章数学教学的基本问题；第4章中学数学教学设计；第5章中学数学教学基本技能；第6章数学概念的教学；第7章数学命题的教学；第8章数学解题教学；第9章数学教育热点问题研究。

《线性代数》根据工科类本科“线性代数”课程教学基本要求，参考同济大学“线性代数”课程及教材建设的经验和成果，按照硕士研究生考研大纲的要求编写而成．编者在内容编排、概念叙述、定理证明等诸多方面都做了精心安排，以使全书结构流畅，主次分明，通俗易懂． 本书共分五章，包括线性方程组与矩阵、方阵的行列式、向量空间与线性方程组解的结构、相似矩阵及二次型、线性空间与线性变换．每小节配有习题，每章末配有拓展阅读和测试题，拓展阅读用于讲解线性代数发展的相关知识；测试题难度高于习题难度，用于学生加强练习，部分习题

本书是作者多年来给普林斯顿大学本科一年级学生开设微积分的每周复习课。本书专注于讲述解题技巧，目的是帮助读者学习一元微积分的主要概念。深入处理一些基本内容，还复习一些主题。本书不仅可以作为参考书，也可以作为教材，定会成为任何一位需要微积分知识人学习一元微积分的非常好的指导书。