互逆主义数理逻辑

本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。

逻辑学

本教材是对多年教学经验的总结，主要是训练学生的逻辑思维能力，包括口语表达和文字写作能力，同时，也训练和提高学生公务员考试的逻辑分析能力。本书内容全面，结构严谨，适合社会学、管理学、行政学等本科生使用。...

《黑格尔逻辑学一书摘要》初探

辩证逻辑参考资料 第1卷

《黑格尔逻辑学一书摘要》解说

逻辑

本书主要介绍了逻辑中的演绎法，前两部分是对传统逻辑的介绍与批评，第三部分介绍了一个现代西方数理逻辑系统，第四部分则就关于逻辑系统的种种问题进行了深入的探讨。作者以深厚的学术功底、缜密的逻辑思维，将枯...

Stateflow逻辑系统建模

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

逻辑程序设计和数据库

数控机床逻辑控制编程技术

本书从FANUO系统及PMC-SAX型号介绍了数控机床逻辑控制编程。

英语词汇逻辑记忆法 大学6000词