小学生爱读的逻辑游戏书

《小学生爱读的逻辑游戏书》精选当下最流行、最经典的365个逻辑游戏。根据不同的解题方法，从8个方面对游戏进行了精选和设计，每个游戏都极具代表性和独创性。内容丰富，难易适度，配有插图，适宜小学生阅读和思考。...

大学的逻辑

本书以北大改革方案设计（《北京大学教师聘任和职务晋升制度改革方案》征求意见稿）为依据，阐述现代大学的基本理念和逻辑，特别集中在以学术人才为核心的学术资源的开发、培养等体制和观念问题。本书所提出的问题...

创业者的抉择 读懂商业模式及其内在逻辑

本书就商业模式的内在逻辑展开了一些深入分析，尝试就其逻辑关系的梳理，形成一个分析体系，并提出了方法论，以指引创业者更深入的思考其创业方向和道路的规划。在商业模式中，是哪些内在逻辑导致了后来结果的必然性...

马克思主义公正观的逻辑谱系 方法论特点及当代意义研究

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

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

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

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

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

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

国家审计推动国家治理能力现代化的战略研究

本书针对当前国家审计工作中存在的年度间体例格式不统一、一些重要表述与政府工作报告等不一致、不同年度间信息可比性不强等问题，设计了规范的审计工作报告模板，充实相关报告内容，使得各个层级的审计工作报告...

基于环境产权行为的环境审计模式再造研究

从超契约视角对“单向三方环境审计关系”的环境审计模式进行再认知，在此基础上结合环境审计服务市场的供需理论再造具有“双向四方环境审计关系”的新环境审计模式，并从实证研究视角检验理论上再造的由受托环...

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

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