当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0109秒）
为您推荐： 归纳总结的艺术 归纳总结 归纳总结的智慧 2022新版一本涂书高中英语星 知识大全基础知识点总结归纳语法全解高一高二高三通用高考提分 小学三年级语文下册重点知识集锦知识点清单讲解人教版课本归纳同步基础点汇总考点总结 送解析2023版本高考日语新课标一轮复习基础归纳总结综合卷
-
研究生学风实录 自然情境下的互动与归纳
屈晓婷主编2010 年出版119 页ISBN：9787512104297笔者针对研究生学风现状及相关要素进行了广泛的问卷调查和实证分析研究。通过定性定量的分析，为建立研究生学风建设机制提供量化数据。
-
数学思想概论 数学中的归纳推理 第4辑
史宁中著2010 年出版268 页ISBN：9787560265810在这本书中，我们说的数学思想，不是指学习数学时涉及的思想，比如等量替换、数形结合、递归、转换等，也不是解数学题时涉及的具体思想方法，这本书中所说的数学思想是指数学发展所依赖、所依靠的思想，这本书的适应.....
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
-
-
-
学科分类