大约有20,000项符合查询结果项。（搜索耗时：0.0249秒）
为您推荐： 挑战思维极限 勾股定理的365种证明 短线是银 之七 挑战炒股极限 极限挑战 魔线 星座篇 几何定理机器证明的基本原理 一人公司起步的思维与挑战 勾股定理的证明
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
能力是证明出来的 组织用人的8种理由
张建华编著2010 年出版200 页ISBN：9787200080698本书产品类型属于企业组织成员自我管理图书，人人都认为自己拥有某种能力，人人都想让组织知道自己的超强能力，这时候怎么办？就得拿出真本领，比试比试、证明证明。本书将告诉广大企业组织成员中需要自我培养、证明...
-
-
挑战人类极限 冒险名著
余平姣编译2010 年出版281 页ISBN：9787540220648本套丛书收集了150多部作品，在书籍的内容设计上加入了作者、作品简介以及作品的艺术成就分析从而启发读者找到阅读名著的方法，使作者能够在阅读中体味到作品的丰富魅力。...
-
挑战极限 中国登山队员成功登上珠穆朗玛峰
李静轩编写2010 年出版119 页ISBN：9787546317533本套书主要讲述建国以后，我们国家六十年来所取得的巨大成就，它从政治、经济、军事、科学、文化等方面加以阐述，本书主要讲述中国登山队员成功登上珠穆朗玛峰的故事。...
-
365种改变世界的方法
（英）迈克尔·诺顿著2010 年出版384 页ISBN：9787108035400本书是由李连杰“壹基金”与三联合作出版的项目，旨在推动国内的公益活动事业。全书涉及社区和邻里、文化和创造力、民主和人权、反对歧视、雇佣和企业、全球化和消费主、健康、世界发展、和平、志愿与公民身...
-
挑战你的成见 心理学批判性思维 第2版
（美）伦道夫·A·史密斯著2010 年出版192 页ISBN：9787300120300本书主要是介绍心理学中批判性思维所必需的各种技能。重点阐述了在从事必须具备科学思维的专业性活动中，心理学家们是如何运用批判性思维的。如，如何分析情况以确定因果关系，如何提出假设，如何做出客观的决策，如...
-
尼采的锤子 哲学大师的25种思维工具
（英）尼古拉斯·费恩著2010 年出版186 页ISBN：9787501190324本书介绍24位哲学家的生平与主要思想，阐释这些哲学大师在构建他们的理论体系时所采用的丰富多样的思维工具和研究方法。
-
小学生思维大挑战 敢于挑战篇
华予智教编著2010 年出版72 页ISBN：9787508059136本书内容丰富，题目设置新颖有趣，有填空、推理、计算、图形空间、谜语、迷宫、大搜索等形式。既有大量的知识性题目，也有很多思考类、推理类、空间思维类题目。既增加了小读者的知识含量，又提高了小读者的思维能...