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

本书主要介绍了DNA计算核酸编码原理及方法，具体包括，DNA计算的研究进展和背景，DNA计算的生物化学基础，DNA编码问题及其复杂性分析，DNA二级结构预测和*小自由能模型，隐枚举核酸序列编码算法，DNA编码在图着色DNA计算中的应用。

本书是经典的离散数学教材，被全球数百所大学广为采用。书中全面而系统地介绍了离散数学的理论和方法，主要包括：逻辑和证明，集合、函数、序列、求和与矩阵，算法，数论和密码学，归纳与递归，计数，离散概率，关系，图，树，布尔代数，计算模型。全书取材广泛，除包括定义、定理的严格陈述外，还配备大量的例题、图表、应用实例和练习。第8版

本书第1章介绍研究对象向量及其线性运算。有了元素，自然就会出现集合向量组。基于线性运算，自然而然地给出线性组合、线性表示、线性相关／线性无关、大无关组与秩的基本概念以及基本性质。随后构建线性空间、基、坐标和线性变换的概念，这一部分配备有大量例题，以便学生通过不同的研究对象／元素和运算去感受带有运算的集合空间这个全新概念

本书是作者运用自己的独到的科学见解为全国普通高等学校本科生编写的“高等代数”教材，内容包括：线性方程组的解法，行列式，数域K上的n维向量空间，矩阵的运算，一元多项式环和n元多项式环，线性空间，线性映射，双线性函数，二次型，具有度量的线性空间等。本书具以下有鲜明的特色：以研究线性空间及其线性映射为主线，科学地安排内容的讲

本教材是根据高等院校非数学专业线性代数课程教学基本要求编写的．编者在总结多年教学经验的基础上，对教材的第一版进行了修订。订正了原教材中的疏漏以及排版印刷中的错误；适当调整了部分内容；调整了一些命题的条件或结论，使其阐述得更加精确；对全书的文字表达、记号的采用进行了仔细推敲；调整了部分例题，使其与相应内容之间搭配更加合理

本书是作者根据多年来在黑龙江大学讲授高等代数及相关课程，以及从事科研工作的经验和心得写成的，有许多独到的科学见解。分上下两册出版。上册内容包括行列式、矩阵、线性方程组、特征值与特征向量、内积与正交阵、二次型与对称阵等。下册内容包括多项式、多项式矩阵、线性空间、线性映射与线性变换和欧式空间等。全书体系简练完整，叙述由浅入

本书将离散数学分为数理逻辑、集合论、代数系统和图论四个部分，系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法，并给出了离散数学中不同知识点在计算机科学中的应用。本书配有课后习题参考答案及电子教案。全书结构严谨，逻辑清晰，示例丰富，可以作为高等学校计算机大类

本书主要依据高等院校非数学类专业线性代数课程的教学要求和教学大纲，将课程思政和工程案例、经济案例等融入新形态教材，并结合哈尔滨理工大学线性代数教学团队多年的教学经验编写完成.全书共7章，主要内容包含行列式、空间解析几何与向量代数、矩阵、向量与线性方程组、矩阵的特征值与特征向量、二次型、线性空间与线性变换.本书秉承新形态

本书是根据高等学校理工类、经管类专业线性代数课程的教学基本要求，并结合全国硕士研究生入学考试大纲的规定内容编写而成的线性代数教材.全书共分八章，分别介绍了行列式、矩阵及其运算、矩阵的初等变换、向量组的线性相关性、特征值与特征向量、二次型及其标准形、线性空间与线性变换、基于MATLAB的线性代数实验.本书叙述条理清晰、由