-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
中国重点大学政策的历史逻辑与制度分析
胡炳仙著2010 年出版195 页ISBN:9787811253931自20世纪中叶以来,重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角,以分析政策主体的权力结构特征和权力分配形式为要旨,探讨重点大学政策的政策特征与制度逻...
-
企业生命力 商业逻辑梳理手册
闫真诚著2013 年出版212 页ISBN:9787516404546本书是一本全自动商业模式设计手册,他可以帮助创业家与投资家实现自己的商业梦想,颠覆所有存在的,超越所有认为的,因为他只属于能够看清未来的挑战者。作为一本品牌与商业逻辑梳理辅导书,本书主要采用了PPT的设...
-
制度与逻辑 刑事诉讼机制的转型分析
陈兴良主编2005 年出版455 页ISBN:7801078047本书以现当代美国家庭结构、精神、价值的变迁;探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代,一个稳固、成功的家庭对每个人生命的重...
-
硕士专业学位(GCT)联考逻辑过关必做1200题
崔杰凯,潘小春主编2013 年出版266 页ISBN:9787511419866本书针对硕士专业学位考生,是复习硕士专业学位考试必备教材。本书针对联考试卷中逻辑板块,根据最新考试大纲编写,内容、难度最为贴近真题题型,全面展现题型特点,并精辟阐明解题思路。本书更加注重模拟实战训练,.....
-
项目逻辑 追问前提揭示本质立正站稳
汪纲领著2017 年出版364 页ISBN:9787564634575《项目逻辑》以哲学的辩证思维、概念性思维和方法论来探讨项目建设管理中的复杂工程问题和管理问题,其中,以哲学思维指导研究,但并不涉及哲学的根本问题,以概念思维切入思考,却不涉及概念的哲学本质,根本目的完.....
