本书是全国高等学校计算机教育研究会支持的立项教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，旨在为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词

理论力学（第3版）

德国著名理论物理学家W．Griner等教授撰写的13卷集理论物理学教科书，是一套内容完整实用面向大学生和硕士研究生的现代物理学教材,各卷内容独立完整。它以系统的、统一的、连贯的方式阐述了现代理论物理学的各个方面。这套教材面世后，在德国产生了巨大的影响，其英文版的及时推出，对全世界理论物理学的教学也起了很好的促进作用。本

本书分为高等数学、线性代数、概率统计三部分，包括函数、极限、连续；导数与微分；中值定理与一元函数微分学的应用；定积分及应用等内容。

本书是为本科生参加各级别大学生数学竞赛（非数学专业）编写的辅导教材。本文通过“典型例题与方法进阶”对各类竞赛各种考试中的高频题、富有技巧性的难题进行重点解析，通过课后练习加强学习效果，同时分类整理了历届的全国大学生数学竞赛和江苏省高等数学竞赛的真题，供参加竞赛的实战演练。本书内容详细、讲解透彻、例题丰富多层次，必能助学

ANSYS产品中的Workbench，以项目流程图的方式，将结构、流体、电磁等各种分析系统集成到统一平台中，进而实现不同软件之间的无缝链接，ANSYS18.2Workbench操作便捷，处理复杂的工程模型更为方便，软件的分析功能和各项操作也有了更好的提升和发展。 本书具体着眼于ANSYS软件的使用和实际工程应用，结合有

本书分5章。第1章介绍常微分方程的建模案例和基本概念。第2章介绍几类重要一阶微分方程的初等积分法及几类可积的高阶微分方程的求解。第3章阐述常微分方程初值问题解的存在性、**性，以及解关于初值的连续依赖性和可微性。第4章研究常微分方程组解的基本理论和求解方法。第5章介绍常微分方程数值计算和数学软件求解方法，并给出建模应用

全书分为上、下两册。下册内容包括级数、向量代数与空间解析几何、多元函数微分学、重积分、曲线积分、曲面积分等。其中无穷级数这一章里的“函数项级数的一致收敛性”一节理论性较强，读者可以根据具体情况选读。另外，在多元函数的积分学中，某些理论的叙述及证明较为抽象或复杂，例如重积分的可积性及其证明、积分变量替换法的证明等等，本书

本书内容包括：集合、逻辑符号的运用、实数理论、极限和连续性、一元函数微分学、积分、多元函数及其极限与连续性、多元函数微分学。

“数学是上帝用来书写宇宙的文字”蕴含在生活中的各个角落，越靠近它，你越能体会到它的不简单之处。数学不简单精选了《最强大脑》节目中的热门项目，详细剖析了这些烧脑问题背后的数学知识并加以扩展。数字华容道的排列问题，立体一笔画的解链，迷宫中的拓扑知识，繁花规图案的摆线方程，数独的设计与求解……这一系列有趣的问题不仅可以加深你