本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域，本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域，本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题，以及图的结构分解在运筹学中的应用，例如多轨道任务分配问题的可解性条件等。在布尔网络方面，本书着重分析了布尔网络预测集的辨识问题以及代数化简等问题。本书适合控制科学与工程、工业自动化、系统科学、控制理论、数学、人工智能等专业的师生及

本书主要介绍一种新的矩阵分析工具（矩阵的半张量积）的最新应用研究进展。特别地，本书重点关注在逻辑动态系统、有限状态自动机器以及图论等领域的应用研究。在逻辑动态系统领域，本书仅限于介绍逻辑动态系统分析与综合的一个关键技术：模糊逻辑关系方程的解法，包括对称值模糊逻辑关系方程和一般模糊逻辑关系方程的解法。在有限状态自动机器方面，本书重点介绍自动机的动态描述、兼容性分析、自动机的化简以及语言识别等问题的研究。在图论领域，本书讨论了图的结构分解及其在工业领域中的应用等。

本书是科普界一代宗师乔治·伽莫夫的代表作，在一众自然科学经典名著中宛如灯塔一般，是科学爱好者不容错过的经典之作，其历久弥新的魅力，仍对普通读者构建自身的科学素养大有裨益。本书共分为四个部分，先从数学基础知识入手，而后以通俗有趣的语言清晰介绍了时间、空间及其相对性，再将爱因斯坦深奥的相对论和四维时空结构简明说理，最后生动讨论了人类在微观世界和宏观世界的认知进展。书中大量的有趣插图均为作者亲笔绘制，有助读者轻松进入奇妙的科学世界，是学生、科学爱好者难得的入门读物。

本书主要在《关于全面深化新时代教师队伍建设改革的意见》（中发〔2018〕4号）中对教师素质的要求、中国学生核心素养（三维六方面十八要点）要求、师范专业认证、教师资格国考等背景下，对新时代数学专业师范生职前职后数学学科素质培养进行了研究。该书主要对素质、素养、教师素质、教师素养、核心素养等概念进行了阐述，对数学学科核心素养及培养措施进行了研究；同时对数学专业师范生在校期间（职前）数学学科素质培养、入职后所在学校培养、教育部门培养及自身数学素质不断提高等方面进行了研究。该书适合高等学校数学师范专业（

本书共13卷，先后论述了平面几何的基本原理、圆、比例论、相似图形、初等数论、简单立体几何以及正多面体等内容。书中每卷在一开始会给出定义、公设和公理，然后用这些定义和公理及证明过的命题，对各种几何图形的性质进行研究，展示了一套逻辑体系严密的几何学论证方法。

本书的主要研究内容是在模式识别应用领域中，提出新的基于张量数据的特征提取和分类算法，并且对这些张量型算法进行详细的理论推导和性能分析，在实验中验证所提出算法的优越性。

本书对高等数学基础理论及其应用进行探讨，主要内容包括坐标空间与解析几何方法、函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用、微分方程、无穷级数、重积分及其应用、曲线积分与曲面积分等。

本书主要内容包括函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用、多元函数微分学、常微分方程、无穷级数、重积分及其应用、曲线积分与曲面积分等。

《当代数学教学论》共15章，主要内容包括绪论、当代数学教学改革与发展、当代数学观与数学教育观、数学学习的理论及其相关问题、数学教学的基本理论分析、数学能力、数学思维方法与教学、基于基本活动经验的数学教学、当代数学教学的逻辑基础、数学教学的常规工作、当代数学教学设计与分析、数学教学评价、数学教师的专业发展、现代教育技术与数学教育、数学热点问题介绍。

《北华大学文库：小波分析理论及工程应用》全面阐述了小波分析的基本概念和基本算法，介绍了小波分析在信号分析、图像压缩、模式识别、跟踪等图像分析中的应用。《北华大学文库：小波分析理论及工程应用》适合做高等学校计算机、信息、电子类专业本科生、硕士研究生的教材以及一般工程技术人员的参考书。