Stateflow逻辑系统建模

本书详细介绍了MATLAB产品体系中用于动态逻辑系统建模仿真的Stateflow产品的应用方法，重点介绍了有限状态系统中状态、状态转移、连接节点、历史节点、动作、数据对象、事件等概念。...

英语学习与研究 英语动名词的逻辑生活

可编程逻辑器件与数字系统设计

中国古代数学及其逻辑推类思想

本书收录了燕山大学文法学院近几年来涌现的优秀人文科学学术论文。这些作品，内容广泛，观点新颖，论述充分，语言通俗，具有很强的知识性、学术性和参考性。...

体育科学研究的逻辑

本书主要介绍的内容是，体育科学研究就是逻辑的活动，逻辑贯穿于整个研究过程；体育科学研究的逻辑起点（逻辑源）和逻辑之基：包括对体育科学问题的认识、发现体育科学问题、科学观察、实验等，如何认识和运用直觉、......

数字系统逻辑设计技术

本书介绍了数字逻辑设计的基础知识，小规模集成电路的组合逻辑，时序逻辑分析，大规模集成电路逻辑部件和应用。

组织行动的逻辑 中国情境下的理论与实证研究

针对中国情境下的组织管理问题，本书从契合与认同、文化与符号、组织与制度、组织与环境四个方面对各类问题做了理论分析和实证研究。

算术基础 对于数这个概念的一种逻辑数学的研究

本书德国著名哲学家弗雷格的一部探讨数理逻辑的哲学著作。

现代逻辑视域下的哲学逻辑研究

本书以现代逻辑为背景，以哲学逻辑的主要问题为核心，以逻辑的应用和逻辑思想史为补充，旨在为读者提供有关当前哲学逻辑各专题领域的基础知识，包括相关的概念、问题、方法和主要结果，甚至还包括应用。哲学逻辑是逻...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...