当前位置：首页 > 名称
大约有489,766项符合查询结果项。（搜索耗时：0.5818秒）
为您推荐： 归纳总结的艺术 归纳总结的奥秘 归纳总结 送解析2023版本高考日语新课标一轮复习基础归纳总结综合卷 小学三年级语文下册重点知识集锦知识点清单讲解人教版课本归纳同步基础点汇总考点总结 高考日语基础知识归纳总结与练习
-
现代归纳逻辑的哲学视野 论帕斯卡概率解释的恰当性
李旭燕著2009 年出版249 页ISBN：9787010080529自凯恩斯建立第一个现代类型系统理论以来，当代归纳逻辑的重要分支帕斯卡概率逻辑获得长足发展。到目前为止，已经有五种概率解释：逻辑解释、主观解释、频率解释、性向解释以及主体交互解释。本书就这五种解释，从...
-
数学思想概论 数学中的归纳推理 第4辑
史宁中著2010 年出版268 页ISBN：9787560265810在这本书中，我们说的数学思想，不是指学习数学时涉及的思想，比如等量替换、数形结合、递归、转换等，也不是解数学题时涉及的具体思想方法，这本书中所说的数学思想是指数学发展所依赖、所依靠的思想，这本书的适应.....
-
聪明的狮大王 培养归纳推理的思维
吕佳蓉主编；谢明芳著；杜小尔绘2014 年出版47 页ISBN：9787536565012《聪明的狮大王》描写快乐王国的狮大王以冷静、明智的态度为两个水果村解决了水源缺乏的困境。这是一则关于领导力的故事。故事中的狮大王，在解决问题的过程中并没有滥用职权判决或是强占好处，而是以证据让犯...
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
-
-
-
-
学科分类
出版时间