本书以高等数学及线性代数、微分方程和概率统计中主要概念、命题为内容，通过简单的演示，巩固相应知识，然后简介相关算法及程序语言，给出设计方案或相应程序，对这些内容进行探讨，以引导学生主动探求为主，目的是通过这些内容的实验，不仅是学生对所选内容加深理解，更主要的是使学生学会利用数学软件探究数学问题，是学生由学数学到做数学，

本书主要介绍国内外环与代数研究的*成就和发展方向，在*版的基础上修订再版，除删除了一些成旧内容外，增添关于分次环，路代数，箭图表示，有限表示型箭图4章，力图向读者介绍分次环，箭图及其表示*基本的知识，使之能够了解和进入环与代数当前研究的一些非常具有活力的领域。在新增部分，我们将介绍分次环，分次摸，分次Artin环，Sm

本书在*版的基础上进行修订再版，全书共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的*理论等4部分。同时，在*版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。 本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

本书共分两个部分：拓扑学中的手性和数学走进生物大分子序列。 *部分是一次演讲的纲要。手性就是左右不对称性，是自然界的常见现象，在化学中日益重要。本文介绍了作者和王诗宬教授合作的一个科研课题的来龙去脉。从材料化学家1982年的实验和问题、拓扑学家1986年的回答，提出我们自己的新概念与新问题。解释了所涉及的数学概念，以

本书介绍了从欧几里得、费马、欧拉、高斯以来2000多年中素数研究的重要成果、问题、思想和方法，包括素数有多少、如何识别素数、是否有定义素数的函数等一系列具有重要理论意义和应用背景的问题，并介绍了相关问题至2003年的*记录

《高等数学线性代数（第2版）/高等职业教育“十三五”规划教材》共分两篇：第1篇为高等数学，主要包括函数、极限与连续、导数与微分、微分中值定理与导数的应用、不定积分、定积分及其应用、利用数学软件求解问题等内容；第2篇为线性代数，主要包括行列式、矩阵、线性方程组等内容。《高等数学线性代数（第2版)/高等职业教育“十三五”规

《高等数学（高职数字版）》是全国高等院校数字化课程规划教材之一，根据教育部高职高专高等数学课程教学基本要求，同时兼顾高职高专的特点和各专业的需要编写而成。《高等数学（高职数字版）》包含8章内容，分别为函数的极限与连续、导数与微分、中值定理及导数的应用、不定积分、定积分及其应用、多元函数微积分、微分方程、线性代数。每节后

《高等数学微分方程（第2版）/高等职业教育“十三五”规划教材》共分两篇：第1篇为高等数学，主要包括函数、极限与连续、导数与微分、微分中值定理与导数的应用、不定积分、定积分及其应用、利用数学软件求解问题等内容；第2篇为微分方程，主要包括常微分方程、二阶非线性微分方程、二阶线性微分方程、拉普拉斯变换等内容。《高等数学微分方

本册教材由四个模块，八个单元构成。模块内语言材料围绕一个主题展开，各模块包含两个单元，分别讨论该模块主题下的一个具体话题。本册教材话题包括帮助他人、肢体语言、传统技艺、卡通与漫画、拯救濒危动物、宠物、未知的世界和未来生活。各单元设有Gettingready，Reading，Listening，Grammar，Speak

在采用优化方法解决实际工程与管理问题时，由于实际问题本身的复杂性，模型中不确定参数的精确可能性分布通常无法获得。《参数可信性优化方法/运筹与管理科学丛书28》基于2型模糊理论这一公理化体系，提出了当精确可能性分布无法获得时，如何从可变参数可能性分布这一新视角对实际决策问题进行建模，弥补了文献中基于名义可能性分布优化方法