周训伟著2004 年出版398 页ISBN：7504614319
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。
金岳霖著2017 年出版270 页ISBN：9787568240857
本书主要介绍了逻辑中的演绎法，前两部分是对传统逻辑的介绍与批评，第三部分介绍了一个现代西方数理逻辑系统，第四部分则就关于逻辑系统的种种问题进行了深入的探讨。作者以深厚的学术功底、缜密的逻辑思维，将枯...
张威编著2007 年出版317 页ISBN：7560618529
本书详细介绍了MATLAB产品体系中用于动态逻辑系统建模仿真的Stateflow产品的应用方法，重点介绍了有限状态系统中状态、状态转移、连接节点、历史节点、动作、数据对象、事件等概念。...
孙德茂编著2008 年出版435 页ISBN：9787111247302
本书从FANUO系统及PMC-SAX型号介绍了数控机床逻辑控制编程。
