《离散数学（第2版）》共分四大部分：数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论，一阶逻辑的基本概念、前束范式以及推理理论；集合论部分包括集合的基本概念与运算，二元关系的性质与运算、等价关系与偏序关系，函数及其性质，复合函数与反函数等；代数结构部分包括二元运算及代数系统，半群、独异点、群、环与域、格与布尔代数等。图论部分包括图的基本概念和矩阵表示，树的概念、性质及应用，二部图，欧拉图，哈密尔顿图，平面图，图的着色等。　本书适合普通高校计算机及相关专业理算数学的入门教材和参考书。

《参数的E-Bayes估计法理论及应用研究》有两部分内容，一部分包括四章：绪论、先验分布和后验分布、参数估计和假设检验、先验分布的确定；第二部分包括六章：Pareto分布形状参数的E-Bayes估计及其应用、Poisson分布参数的E-Bayes估计及其应用、指数分布参数的E-Bayes估计及其应用、失效概率的E-Bayes估计及其应用、二项分布参数的E-Bayes估计及其应用、E-Bayes估计法在证券投资预测中的应用。《参数的E-Bayes估计法理论及应用研究》既可作为高等院校数学类、统计学类等有关专业高年级本科生、研究生的教材或参考书，也可供相关专业的教师、研究人员参考。

《Ω-范畴中的若干问题研究》围绕Ω—范畴，结合范畴论与模糊数学的方法，通过对Ω—范畴的笛卡儿闭性、交连续性及完备化等问题进行研究，推广了经典Domain理论中的一些相关结果。此研究不但会丰富和发展Ω—范畴与量化Domain理论，还可为Domain理论的推广提供基础性的方法，也会为计算机程序设计语言指称语义的发展提供坚实的数学基础，同时还可能提出新的问题与研究领域。

《高等数学》分上、下两册出版。下册主要内容包括向量代数与空间解析几何、多元函数微分法及其应用、重积分及其应用、曲线积分与曲面积分、无穷级数、微分方程。书末还附有数学实验、常见曲面所围的立体图形与部分习题答案等。全书旨在将基础知识的学习，数学思想的强化以及数学素质的培养融为一体，注重数学概念的几何直观表述，图文并茂、结构严谨、说理透彻、通俗易懂。书中例题与习题覆盖面广，具有较强的代表性，便于学生理解和训练。本次修订弥补了上一版的疏漏，并对数学软件Mathematica进行了更新，同时增加了数字化教学资源，包括每章的知识能力矩阵、小结及重难点解析、课后习题中的难题解答、自测题、应用案例及数学家小传等板块，为学生带来新的学习感受，激发学生自主学习的积极性，夯实基础，开拓视野，进一步提高学生的数学素养。《高等数学（第三版 下册）》可作为高等学校非数学类专业的高等数学教材或教学参考书，也可供工程技术人员学习参考。

量子输运主要探讨电子或自旋的输运性质，多用二次量子化语言表述。事实上，二次量子化算符和态矢构成的算符在表述问题时是等价的。近年来，人们在研究中发现一些输运问题用态矢语言描述有其优点。《态矢格林函数与大自旋》从态矢格林函数角度介绍著者对量子输运的研究成果，着重介绍此方法在大自旋输运系统中的应用。《态矢格林函数与大自旋》共8章。第1章介绍格林函数方法，其中列举三种方法作为对比：二次量子化语言表述的格林函数方法、态矢格林函数方法和主方程方法。第2章介绍大自旋输运系统。第3-8章介绍大自旋系统的各种输运性质，包括电流伏安特性、近藤效应、热电效应、温差电效应、自旋流等。

《初等数学研究在中国（第2辑）》汇集了中小学数学教育教学和初等数学的研究成果，主要包括数学文化、数学竞赛研究、数学问题与解答等内容。《初等数学研究在中国（第2辑）》有利于促进中小学数学教育教学和初等数学研究水平的提高，可供数学教师、学生、数学爱好者参考阅读。

本书主要内容包括泛函分析概要、小波构造理论、小波逼近理论以及稀疏逼近和稀疏表示等。全书从数学基础出发，通过小波理论分析、新的稀疏表示理论和字典学习方法，构成了小波域稀疏表示的完整系统。　本书内容由浅入深，通俗易懂，既重视必要的理论基础知识的介绍，也给出了相应的实践和应用。　本书可作为工科相关专业的研究生教材。

《空间想象力进阶》详细介绍了正投影图、斜投影图及透视图的相关内容，附录部分还介绍了近些年高考对空间想象能力的考查内容及如何培养学生的空间想象能力。通过《空间想象力进阶》的学习，读者可进一步提高空间想象能力，这不仅对初高中学生有益，对于大学理工科学生很多课程的学习也很有益。

This book mainly introduces some recent advances in applications of logical dynamic systems. In particular， we concentrate on the applications in the fields of finite automata， graphs， operational research and Boolean networks. In the area of finite automata， we discuss the dynamical model， the reachability and eontroUability. In the theory of graph， we introduce an algebraic approach to study the structures of graphs， which is applied to solve the multi-track assignment problem in operational research. In the field of Boolean networks， the problems of predictor identification and simplification are fully considered.This book is suitable for professional researchers in the fields of control science and engineering， industrial automation， electrical automation and mechanical engineering， but also can be used as a reference material for relevant scientific and technical engineers.

This book mainly introduces some recent applications of the theory of semi-tensor product of matrices. In particular， we put emphasis on the applications in the fields of fuzzy logical systems， finite state machines and graphs. In the area of the fuzzy logical systems， we limit our discussions to the method of solving the fuzzy logical equation， which is a key technology in the analysis and synthesis of the logical dynamical systems. On the side of the applications in the finite state machines， we present the advances on the mathematical formulation， compatible analysis， reduction and language recognition. In the field of graph theory， we focus on the structure analysis and its applications.This book is not only suitable for professional researchers in the fields of control science and engineering， industrial automation， electrical automation and mechanical engineering， but also can be used as a reference material for relevant scientific and technical engineers.