大约有483,518项符合查询结果项。（搜索耗时：0.5593秒）
为您推荐： 人性的证明 特惠 数学天书中的证明 数学证明的艺术 几何定理机器证明的基本原理 几何定理机器证明的案例 几何定理的机械化证明
-
你不可不知的人性 全本 珍藏
（美）刘墉著2003 年出版330 页ISBN：7806793011《你不可不知的人性(全本·珍藏)》的目的不是只要你知道人性的丑恶，更希望你在“了解”之后，能有“谅解”。如果作者之前写的《我不是教你诈》是“战术”，那么《你不可不知的人性(全本·珍藏)》就是“战略”，甚...
-
中国教育活动史专题研究丛书 第2辑 人性的复归 《红楼梦》的教育世界
于洋著2016 年出版250 页ISBN：7568016919本书以“人性”这一教育学的根本问题为出发点，将“人性与青春”作为主线贯穿全文，运用马克思关于人的发展理论和文化层次理论，试图走出纯理论和历史梳理的学院楼阁，抖落遮盖在文学作品上的历史尘土，揭开创世奇作...
-
叶兆言散文精选 婚姻证明之痒
叶兆言著2018 年出版259 页ISBN：9787209113687叶兆言先生的这套散文集大致从“自传”“亲友”“见闻”“阅读”“杂感”五个方面进行收集整理。其中，《婚姻证明之痒》侧重于“杂谈”，收录叶兆言先生关于生活见闻，周遭琐事的个人见解，有回忆，有感触，有答疑，......
-
理想空间：2008.8 总第28辑 ·人性化的商业步行街区
王耀武，夏南凯，郭雁主编2008 年出版129 页ISBN：9787560839202本辑丛书拟以介绍当前商业街的最新国内外案例为主，其中分为五个部分（专题论文，旧城改造、新城市的步行街、旅游观光休闲、专业服务街）。以介绍及分析各大城市的商业步行街项目的成功案例的形式为主，为广大设计师...
-
超理性管理与竞争：管理者走进人性与文化的深处
万翔著2014 年出版294 页ISBN：人在常态下工作往往最没有价值，让人们在工作中适度地偏离常态往往能创造更高的绩效，而这通常需要超越传统的理性管理模式而进入超理性管理模式，超理性管理实际上是建立在理性管理基础上的人本管理，它将人的态度...
-
证明力判定论 以刑事证据为视角
金钟著2010 年出版263 页ISBN：9787565301216本书是以刑事证据证明力判定问题为研究对象的法学理论专著。本书全面论述了刑事证据证明力判定的概念、特点、历史、原则、规则、方法，并在此基础上提炼出一系列具体应用规则和应对实务疑难问题的对策。...
-
素数分布方程理论与证明
刘长华著2017 年出版189 页ISBN：9787533774080本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....
-
暗黑心理学 幸灾乐祸与人性的阴暗面
（美）理查德·史密斯（RICHARDH.SMITH）著；穆华夏译；凌春秀审校2015 年出版231 页ISBN：9787115407252这本由世界一流妒忌及羞耻研究者所写的书，探索了我们不敢承认的情绪：幸灾乐祸。从普通的妒忌和竞争，到恶意和罪有应得的观念，心理学家理查德·史密斯解释了我们为何会幸灾乐祸。关于嫉妒，我们人人都有，但是通常.....
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...