商空间与粒计算 : 结构化问题求解理论与方法.pdf
本书对粒计算基础理论、模型及典型应用等进行了深入的讨论。内容涉及粒计算思想与方法、商空间、相容力度空间、覆盖、粒逻辑等方面。
问题求解
三支决策：复杂问题求解方法与实践.pdf
本书主要介绍三支决策理论、模型与方法，以及在工程、管理等领域中的实践，并力图展现三支决策的最新研究成果。
高等代数问题求解的多向思维.pdf
本书是作者结合多年给数学专业本科生进行高等代数考研辅导的有关内容,和长期的探索积累编著而成的。全书精选包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间等内容的典型例题，给出多种证法或解法，反映高等代数各类知识点之间的有机联系，注重问题解决的
方程求解与机器证明 : 基于MMP的问题求解.pdf
本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。
自适应约束满足问题求解方法的研究.pdf
约束求解是人工智能领域最热门的方向之一，是约束程序的核心。自适应约束求解方法是研究热点并引领约束求解的发展方向。本书详述在约束求解的分支策略选择、变量选择、值选择以及约束传播等相关环节应用自适应理念的方法，重点介绍自适应对求解效率的影响。各章主要研究实现自适应约束求解的技术和方法
Python计算思维与问题求解.pdf
本书面向非计算机专业的大学生，旨在提高学生知识交叉融合，求解问题的能力，全书分为基础篇和应用篇。基础篇以计算思维为导向，讲解计算求解的基本思维方式，Python的基础语法及数据结构；应用篇则面向实际问题的求解，介绍常见的计算问题及Python 中的应对方法。本书内容布局简洁合理、深入浅出，力求达到基础学科知识应用融会贯通的目的。为便于教学，本书提供了高质量的PPT，上机实验，线上教学配套资源丰富，