大约有7,158项符合查询结果项。（搜索耗时：0.1031秒）
为您推荐： 逻辑 科学逻辑逻辑推理 神逻辑 门萨横向思维与逻辑推理 逻辑学 底层逻辑
-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
越玩越爱玩的侦探推理游戏
武庆新编著2014 年出版311 页ISBN：9787563940394该书稿是一部介绍侦探推理技巧的知识性读物。全书分上下篇。上篇为侦探游戏大全，下篇为推理游戏大全。为了增强趣味性，有利于读者阅读理解，每篇设有侦探推理现场、启示和答案三个层次，让读者既乐于思考，又有答案...
-
华生笔录 福尔摩斯经典推理谜题集
（英）约翰·华生医生（Dr·JohnWatson）著；王潇，郭晶晶译2014 年出版199 页ISBN：9787115358974本书给出了100多个有趣的谜题，通过华生医生与福尔摩斯的对话，分析并给出答案，还配有精美英式场景彩图，书中谜题涉及数学、物理、化学、思维推理等众多方面，通过这些谜题及其解答，你也可以一步一步成长为新的“福....
-
中国重点大学政策的历史逻辑与制度分析
胡炳仙著2010 年出版195 页ISBN：9787811253931自20世纪中叶以来，重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角，以分析政策主体的权力结构特征和权力分配形式为要旨，探讨重点大学政策的政策特征与制度逻...
-
企业生命力 商业逻辑梳理手册
闫真诚著2013 年出版212 页ISBN：9787516404546本书是一本全自动商业模式设计手册，他可以帮助创业家与投资家实现自己的商业梦想，颠覆所有存在的，超越所有认为的，因为他只属于能够看清未来的挑战者。作为一本品牌与商业逻辑梳理辅导书，本书主要采用了PPT的设...
-
制度与逻辑 刑事诉讼机制的转型分析
陈兴良主编2005 年出版455 页ISBN：7801078047本书以现当代美国家庭结构、精神、价值的变迁；探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代，一个稳固、成功的家庭对每个人生命的重...