当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0554秒)
为您推荐: 信息技术与计算机思维导论 计算与信息哲学导论 计算思维的力量 计算机导论 云计算导论 大学计算机实验指导与习题集 计算思维
-
-
-
挑战思维极限 勾股定理的365种证明 【数理化】
李迈新编著2016 年出版248 页ISBN:9787302458791本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容,许多证法思路巧妙,别具一格,对提高读者的...
-
-
数理统计学导论 英文版 【数理化】
(美)Robert V. Hogg,(美)Joseph W. Mckean,(美)Allen T. Craig著2012 年出版694 页ISBN:9787111385806本书保持着一贯的风格,清晰地阐述基本理论,并且为了更好地让读者理解数理统计,还提供了一些重要的背景材料。内容覆盖估计和测试方面的古典统计推断方法,并深入介绍了充分性和测试理论,包括一致最佳检验和似然率...
-
-
Martin-Lof类型论程序设计导论 【数理化】
(瑞典)Bengt Nordstrom等著;宋方敏译2002 年出版195 页ISBN:7305038326创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。 ...
-
-
逆问题的数学理论导论 【数理化】
Andreas Kirsch著2016 年出版307 页ISBN:9787519202675本书将读者带进了逆问题领域。逆问题的研究对许多科技领域诸如地球物理探测、系统识别、无损检测及超声层析成像等,有着重要的作用。该书分两部分。第一部分讲不适定问题的基本概念和困难。书中通过几个简单...
-
