当前位置:首页 > 名称
大约有507,957项符合查询结果项。(搜索耗时:0.9810秒)
为您推荐: 几何定理机器证明的案例 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何证明
-
-
-
-
数学女孩 2 费马大定理
(日)结城浩著;丁灵译2016 年出版354 页ISBN:9787115411112本书涵盖了形形色色的数学题目,从小学生都能明白的简单问题,直至困扰了数学家350年以上的难题。本书采用语言、图形以及数学公式表达主人公的解题思路,以小说的形式展开,重点描述一群年轻人探寻数学中的美。内...
-
-
可信平台模块虚拟化与证明
谭良著2018 年出版256 页ISBN:9787030557698云计算与可信计算相结合是构建可信云环境的重要方法,其最为关键的问题是对TPM(TrustedPlatformModule,TPM)的虚拟化。本书将给出TPM虚拟化的基本概念、类型和基本要求,提出了TPM虚拟化的技术分类模型,详细阐述了T...
-
证明标准研究 以刑事诉讼为视角
郭志远著2010 年出版245 页ISBN:9787811399370本书以证明标准在刑事诉讼中适用的基本原理为出发点,以其在不同刑事诉讼阶段所适用的主要诉讼行为为视角,探索了有罪判决、公诉、逮捕和搜查等不同诉讼行为所应适用的证明标准,并通过比较研究的方法,分析了诸如...
-
-
-
学科分类
出版时间
