逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

中国重点大学政策的历史逻辑与制度分析

自20世纪中叶以来，重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角，以分析政策主体的权力结构特征和权力分配形式为要旨，探讨重点大学政策的政策特征与制度逻...

学习辩证法 运用辩证法 中国人民解放军南京部队空军学习毛主席著作体会选

变革的逻辑 新技术驱动下的中国法律服务

互联网、大数据、人工智能等新兴技术正在深刻地改变着我们的世界，法律服务将在何种程度上被改变却远不清晰。对于身处这个行业的所有人来说，与其在时代的潮水中随波逐流，不如主动地洞悉趋势，迎接未来。不同于常...

图书与报刊的版式设计

省市图书馆工作人员进修班讲稿 三大系统图书馆的协调工作

数字时代的图书馆与图书馆员

本书围绕数字时代的图书馆与图书馆员，回顾了图书馆发展的历史，梳理了传统图书馆向电子图书馆、数字图书馆、虚拟图书馆转化的过程，分析了数字时代图书馆员的队伍结构、职业素养与任职资格要求、图书馆学专业教...

制度与逻辑 刑事诉讼机制的转型分析

本书以现当代美国家庭结构、精神、价值的变迁；探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代，一个稳固、成功的家庭对每个人生命的重...

高校图书馆的功能演进

谈我馆图书的开库借阅