本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运筹学与控制论以及布尔网络等。在有限自动机领域，本书讨论了自动机的动态建模问题、可达性问题及可控性问题。在图论领域，本书重点介绍了利用逻辑系统的方法去研究图的结构分析问题，以及图的结构分解在运筹学中的应用，例如多轨道任务分

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

本套试卷由教育部考试中心数学命题组的几位原组长和全国教学一线考研辅导专家精心设计，强强联手完成。书中题目搭配难易适中，针对考生在强化阶段出现的问题，从考研数学的考试热点内容和重点题型中多角度设计题目。可以说是最接近实战的模拟试卷，非常适合考生在冲刺阶段模拟自测，查漏补缺，掌握重点难点。 本套试卷分为试题和

本套试卷由教育部考试中心数学命题组的几位原组长和全国教学一线考研辅导专家精心设计，强强联手完成。书中题目搭配难易适中，针对考生在强化阶段出现的问题，从考研数学的考试热点内容和重点题型中多角度设计题目。可以说是最接近实战的模拟试卷，非常适合考生在冲刺阶段模拟自测，查漏补缺，掌握重点难点。 本套试卷分为试题和参考答案

本套试卷由教育部考试中心数学命题组的几位原组长和全国教学一线考研辅导专家精心设计，强强联手完成。书中题目搭配难易适中，针对考生在强化阶段出现的问题，从考研数学的考试热点内容和重点题型中多角度设计题目。可以说是最接近实战的模拟试卷，非常适合考生在冲刺阶段模拟自测，查漏补缺，掌握重点难点。 本套试卷分为试题和参考答案与分

本书的主要内容包括：初等函数、极限与连续、导数与微分、不定积分、定积分及其应用，微分方程，矩阵与线性代数、概率论基础、统计基础、MATLAB数学实验等。本书的特色是通过引入了数学在建筑、经济等相关领域的应用实例，体现“贴近实际，面向专业”的思想；并通过引入数学历史，感受数学文化的熏陶，领悟数学的思想、精神和方法，激发学

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

本书是《圆锥曲线习题集》的下册第3卷，内收有关椭圆的命题700道，抛物线的命题100道，双曲线的命题100道，综合命题100道，合计1000道(另有关于圆和直线的命题300道)，大部分是发表。1300道命题都是证明题，附图。全书分成5章51节，有些命题可供专题研究。这套习题集共五册，五册共收圆锥曲线题5300道。本书可

本书以教育部大学数学教学大纲、教育部考试中心考研大纲为依据,精心编写了985道中等难度的考研训练习题、211道提高练习,主要包括考研数二中的多元函数微积分学、行列式、向量等知识点,适合考研复习和大学数学专业的学生参考阅读。

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