诸葛文著2016 年出版213 页ISBN:9787509376690
逻辑推理能力对一个人的思考能力、学习能力、管理能力和表达能力起着至关重要的作用,只要运用合理,它将会对我们理清思路、完善语言表达能力、统筹时间、规划人生等大有裨益。逻辑思维训练系列一共分为五个分...
诸葛文著2016 年出版229 页ISBN:9787509377062
逻辑推理能力对一个人的思考能力、学习能力、管理能力和表达能力起着至关重要的作用,只要运用合理,它将会对我们理清思路、完善语言表达能力、统筹时间、规划人生等大有裨益。逻辑思维训练系列一共分为五个分...
王路著2019 年出版260 页ISBN:9787040515725
本书在人民出版社已有教材修订版基础上再修订而打造的教材。考虑到高校的教学实际,本次修订改动如下:删除了一阶逻辑的内容;对词项逻辑、形式逻辑等逻辑性教学的基本和主要内容,篇幅有所调整,适当删除了若干段落...
石纯一,王家廞编著2000 年出版224 页ISBN:7302040427
《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章,前8章介缗数理逻辑,包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论,包括集合、关系、函数、实数集与...
张健著2000 年出版172 页ISBN:7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
胡炳仙著2010 年出版195 页ISBN:9787811253931
自20世纪中叶以来,重点大学政策已经成为一项影响中国高等教育结构与发展格局的重要教育政策。本书以新制度主义为视角,以分析政策主体的权力结构特征和权力分配形式为要旨,探讨重点大学政策的政策特征与制度逻...
闫真诚著2013 年出版212 页ISBN:9787516404546
本书是一本全自动商业模式设计手册,他可以帮助创业家与投资家实现自己的商业梦想,颠覆所有存在的,超越所有认为的,因为他只属于能够看清未来的挑战者。作为一本品牌与商业逻辑梳理辅导书,本书主要采用了PPT的设...
陈兴良主编2005 年出版455 页ISBN:7801078047
本书以现当代美国家庭结构、精神、价值的变迁;探讨在当今这样一个激烈变革和令人迷茫的年代、尤其是美国在经历了“9.11”恐怖主义袭击之后的这个一个缺乏安全感的时代,一个稳固、成功的家庭对每个人生命的重...