离散数学是计算机相关专业的主干课程之一。本书将理论紧密联系实际，摒弃了一些烦琐的定理证明，从工程实际出发，引入工程案例和解决方案，注重提升学生的应用模拟解题技巧，力求做到脉络清晰，重点突出，精讲多练，实用有效，从而培养学生的抽象思维和缜密概括能力。 本书内容包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。全书包含较多的与计算机科学和工程有关的例题和习题。 本书适合作为高等院校计算

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

经典数论的主要内容既包括整数理论、同余理论、一次到n次剩余方程、丢番图方程、佩尔方程、连分数、原根与指数，也包括费尔马-欧拉定理、威尔逊-高斯定理、秦九韶定理（中国剩余定理）、勒让德符号与二次互反律、表整数为平方和、荷斯泰荷姆定理等.此外，它还伴随着遐迩闻名的完美数问题、同余数问题、费尔马大定理、哥德巴赫猜想、孪生素数猜想、黎曼猜想、欧拉猜想、卡塔兰猜想、华林问题、3x 1问题、BSD猜想、abc猜想等.本书以一种特殊的方式（每节配以引人入胜的补充读物）把这些素材串联起来，再通过引入加乘方

本书是两册泛函分析教材中的上册，系统地介绍了线性泛函分析的基础知识。全书共分四章：度量空间、线性算子与线性泛函、紧算子与Fredholm算子，以及广义函数与Sobolev空间。本书的主要特点是侧重于分析若干基本概念和重要理论的来源和背景，强调培养读者运用泛函方法解决问题的能力，注意介绍泛函分析理论与数学其他分支的联系。书中包含丰富的例子与应用，对于掌握基础理论有很大帮助。 本书第二版对内容做了一定调整，如加强了对于弱收敛的介绍，将原来的紧算子与Fredholm算子一章提前等，并优化了部分

2000年后，全国很多高校、省份（如浙江省、江苏省、天津市等），“北约”“华约”以及卓越同盟都开展了大学生数学竞赛活动。尤其近几年参加国赛、省赛的人数越来越多。参加竞赛的同学最关心的问题是：如何在较短的时间内按照竞赛考试大纲所规定的要求，提高复习效率、取得理想的考试成绩。一本难度适当、有鲜明特点的辅导用书是必不可少的。考虑到国内竞赛和近几年考研数学试题的难度提高，经过多年的准备，在总结多年教学经验、深入研究国内外竞赛用书以及历年考试题型和考试大纲的基础上，编写这本书。本书不仅可以作为大

本书坚持以提高学生学习数学的兴趣为根本目的，以解决问题为基本形式，以竞赛数学为主要内容，坚持普及与提高相结合，在普及基础上适当提高的原则，就什么是竞赛数学作了有益的探究，对竞赛数学应包含的内容作了详细探讨，对怎样解答竞赛题，提出了“看—比—凑”的解题思维方法。内容包括:解题思维方法研究，怎样解竞赛数学题，竞赛数学之不等式，竞赛数学之极值和最值，竞赛数学之三角函数，竞赛数学之数列极限，竞赛数学之平面几何，竞赛数学之初等数论，竞赛数学之组合问题。本书具有一定的学术性、很强的启发性和可读性。

　　《数学建模（西安交通大学本科“十四五”规划教材）》以生动有趣的实例，阐述将实际问题转化为数学模型的基本思想方法和技巧。全书共11章，包括微积分、微分方程、差分方程、线性代数、很优化、图与网络、回归分析等数学方法在物理、化学、生物、经济、生态、健康、交通、社会科学、军事等众多领域的广泛应用；还介绍了在数学模型的建立中发挥重要作用的计算机仿真方法以及大学生数学建模竞赛有关事项。该书内容从易到难，深人浅出，举例典型，通俗易懂。每个案例都给出了详尽的问题分析、模型假设、模型建立与求解、模型结论。课后

本书共分成四篇：第一篇为直觉感知篇，通过案例感知和认识数学教育的基本内容、基本范畴、常规工作、形成历程及学科特点；第二篇为基本理论篇，介绍了数学学习基本理论、数学课程基本理论、数学教学基本理论及数学教育评价基本理论；第三篇为实践操作篇，介绍了数学教学的常规工作、数学教学的基本技能、数学微格教学及数学教育实习；第四篇为延伸拓展篇，介绍了数学教育发展简史、数学课程改革简介、数学教育技术简介、数学教育论文写作及数学教师的专业成长。