当前位置:首页 > 名称
大约有513,735项符合查询结果项。(搜索耗时:0.5631秒)
为您推荐: 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
-
-
-
-
-
天才引导的历程 数学经典定理
(美)威廉·邓纳姆(W.Dunham)著;苗 锋译1994 年出版320 页ISBN:7500102860本书运用类似的方法来研究数学,而书中大师们创造的不是小说或交响乐,而是定理。因此,本书不是一本典型的数学教材,没有一步一步地推导某些数学分支的发展,也没有强调数学在确定行星运行轨道、理解计算机世界,乃.....
-
-
现代机器人技术:万能机器的制造
(美)哈里·亨德林著;管琴译2008 年出版158 页ISBN:9787543934528这套经过了修订和扩展的《发明和发现的里程碑》是基于这样的理念:科学技术不是孤立于人们的日常生活之外,而是人们渴望去了解的一个整体,运用这些知识,人们能够更好地改造世界。每一册图书都集中于至少十个个体...
-
证明评价影响因素分析
段厚省著2009 年出版296 页ISBN:9787503679162本书从证明评价角度分析了证据领域的各个核心理论:证明对象、证明责任与证明标准,同时将证明评价纳入诉讼构造中,从当事人与法官的角度,阐释证明评价的各种影响因素。...
学科分类
出版时间
