基于问题逻辑的思政课教学模式研究 问道心扉

本书是关于“基于问题逻辑的‘思政课’教学模式”的首次系统探索，包括基础理论研究、问题体系建构、学生问题解答、问题解析式教学和拓展应用研究五个部分。具体内容既涉及基于问题逻辑的教学模式的理论研究...

5000年世界的发展逻辑--弗兰克世界体系理论研究

安德烈·冈德·弗兰克因依附论而享誉世界，关于5000年世界体系的理论则是依附论的直接延伸。作为发展研究的又一个重要内容，它以独特的视角展现出另一个不同的世界。...

建模法律论证的逻辑工具 法律可废止推理研究

本书主要研究法律推理的逻辑视角，其目的是为了人工智能在法律领域中的应用提供哲学基础。本书充分尊重通常发生在纠纷背景下的法律推理，并注意到了法律给争议留下的很大空间。作者表明，考虑到逻辑与人工智能领...

国际贸易理论的逻辑与实证 基于中国宏观经济运行角度的研究

本书通过理论数字模型以及近年来我国进口贸易的实际发展数据分析了我国的进口贸易与经济增长和国民福利的关系，还从汇章变动对中国的进口贸易进行了数量关系的理论分析，对中国加入WTO前后贸易条件变化进行了...

高阶逻辑辅助证明系统

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

互模拟理论的逻辑研究

本书基于逻辑视角，围绕互模拟展开系统而深入的研究。首先，梳理了互模拟在模态逻辑和非良基集合论中的发展历程，讨论了互模拟的性质；其次，阐述了互模拟在模态逻辑中的基本理论，比较互模拟与模态等价之间的关系，......

数字逻辑与数字系统

本书从数字电路的基础知识出发，介绍数制和编码、逻辑代数、门电路、组合逻辑电路、时序逻辑电路、半导体存储器、可编程逻辑器件、在系统编程技术、VHDL硬件描述语言、QuartusⅡ开发系统及EDA技术的设计思想...

逻辑与数字系统设计学习指导及题解

本书是《逻辑与数字系统设计》的配套用书。前9章的主要内容是教材各章的学习要点，例题解析和习题解答。后面的两个附录是2006年以来东北大学研究生入学考试试题和考题解答。...

法经济学理性主义的逻辑与历史研究

本书运用拉卡托斯的科学研究纲领方法论对法经济学理性主义进行重新审视。首先，对法经济学理性主义研究纲领的理论来源进行了准确阐释；其次，对法经济学理性主义研究纲领的逻辑结构进行了深度透视；再次，对法经济学...

伤寒论新解 《伤寒论》的逻辑学科学学和中西医结合研究