当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0285秒）
为您推荐： 老年实用手册 如何归纳自己的人生 人生护城河如何建立自己真正的优势 title交易之路 如何构建属于自己的投资体系 title人生不设限 绽放更好的自己 title定位 打造属于自己的职场人生 title自控力 如何掌控自己的情绪和心态
-
-
-
数学思想概论 第4辑 数学中的归纳推理
史宁中著2015 年出版268 页ISBN：9787568103749本书将从数学的角度讨论推断所依赖的推理模式。虽然这种推理不能成为严格的数学证明，但这种推理依然具有逻辑性的，我们称这种推理模式为归纳推理。可以这样描述归纳推理的定义：从经验和概念出发，按照某些法则所...
-
数学思想概论 数学中的归纳推理 第4辑
史宁中著2010 年出版268 页ISBN：9787560265810在这本书中，我们说的数学思想，不是指学习数学时涉及的思想，比如等量替换、数形结合、递归、转换等，也不是解数学题时涉及的具体思想方法，这本书中所说的数学思想是指数学发展所依赖、所依靠的思想，这本书的适应.....
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
数学与猜想 第1卷 数学中的归纳和类比
（美）G.波利亚著；李心灿等译2001 年出版311 页ISBN：7030091108《数学与猜想》是著名数学家G. 波利亚撰写的一部经典名著，书中讨论的是自然科学、特别是数学领域中与严密的论证推理完全不同的一种推理方法——合情推理（即猜想）。这部著作通过许多古代著名的猜想，讨论了论证...
-
-
-
学科分类