本书系统介绍矩阵半张量积的基础理论，并深入探讨其在逻辑网络、有限博弈等领域的应用。本书注重教研结合，融合数学与工程学科视角，既夯实理论基础，又引导读者探索学科前沿，帮助读者从基本概念出发，逐步掌握矩阵半张量积的核心方法与应用技巧。本书的创新方法在有限值代数、逻辑网络、有限博弈、自动机理论及非线性移位寄存器等领域展现出重

《线性代数》是一本入门级教材，以线性方程组为切入点，围绕向量空间与线性映射这一主线，系统讲解矩阵代数、行列式、特征值、内积空间、二次型及奇异值分解等核心内容。本书注重与中学知识的衔接，通过实例引导抽象概念，强调矩阵作为线性变换工具的统一性，从基变换视角阐释标准形与矩阵分类，帮助学生构建整体认知。针对非数学专业需求，本书

幻方来源于我国古代洛书中记载的九宫图，就是在方格中填入数字，使每一行、每一列以及对角线上的数字之和都相等，且每个数字只出现一次。这是一种古老的数字游戏。本书不是研究幻方的数学专著，而是作者从数字游戏中独立探索的各种幻方的构建方法。尤其是作者以九十岁高龄，制作了广义幻方的生成程序——广义幻方生成器，把m2(n/m)模式作

本书共分为四部分：第一部分是数理逻辑，包括命题逻辑和谓词逻辑，涉及用符号表达自然语言，并进行逻辑分析和推理，是整个离散数学的基础；第二部分是集合论，包括集合、关系以及函数；第三部分是图论，涵盖了图的术语、表示和特殊结构等；第四部分是代数系统，一个高度抽象的部分，涵盖了半群、群、环和域。

本书包括数理逻辑(命题逻辑与一阶逻辑)、集合论(集合的基本概念和运算及二元关系和函数)、代数系统(代数系统的基本概念、集中典型的代数系统及布尔代数)、图论基础(图的基本概念、树和几种典型图)四部分。本书可作为一般本科院校计算机类相关专业的离散数学教材。注重数学思维培养，培养学生的数学思维能力，例如通过逻辑推理、抽象思维

本书分为数理逻辑、集合论和图论三部分。其中数理逻辑部分包括命题逻辑、谓词逻辑两章，集合论部分包括集合论和二元关系两章。

本书以“模型与应用”为核心线索，系统性地阐述离散数学的六大核心模型，包括二进制模型、集合模型、关系模型、图模型、树模型及有限状态机模型。每一章节均遵循“理论阐述-习题解析-应用案例”的递进结构，既注重数学概念的严谨性，又强调其在现实场景中的落地价值。通过系统地学习，读者将全面掌握离散数学的重要模型及其在各个领域中的实际

本书共分六章：行列式、矩阵及其运算、向量及其线性相关性、线性方程组、矩阵的特征值与特征向量、二次型等。主要内容包括：二、三阶行列式；n阶行列式；行列式的性质；行列式按行(列)展开等。

本书首次系统汇集了莱布尼茨在二进制算术领域的核心文献，完整呈现了他从初步构思到理论成熟的思想历程。全书清晰梳理了二进制理论的形成背景、发展过程及其对现代计算机科学的基础性贡献。