induction hypothesis

induction hypothesis的基本解释

-

[计] 归纳假设

与induction hypothesis相关的网络例句 [注：此内容来源于网络，仅供参考]

Based on hypothesis and induction of sport socialization, the research advancement on sport socialization has been reviewed.

在归纳体育社会化的模型和体育社会化的理论假说的基础上，对体育社会化的研究进展进行综述。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

The valuation is a value judgment, it is established on the foundation of experience fact, and it can be testified using "hypothesis——induction" method.

评价就是价值判断。

Teachers reflect immediately on their teaching activities,paying attention to their teaching ideas which have been concealed in the behaviors or experiences,naming explicitly the information which only manifests in behavioral operations or practical experiences with metaphor,analogy,hypothesis, induction,etc.,and abstracting sequences of action as conception description or induction in words. All of these make possible both the teaching behavior explanation and tacit teaching idea exchanging.

教师可通过对自己的教育教学行为进行即时反思，对隐含于行为和经验之中的个人教育观念加以关注，借助隐喻、类比、假设、归纳等手段，用显性概念来命名本来只是体现在行为操作或实践经验中的信息，将不可言传的动作序列抽象为语言上的概念描述，既使教师对自己教学行为的解释成为可能，也使教师与他人就隐性个人教育观念进行交流成为可能。

与induction hypothesis相关的网络解释 [注：此内容来源于网络，仅供参考]

induction hypothesis：归纳假设

就是循环不变量或归纳假设(induction hypothesis). 20世纪70年代后期,霍尔又深入研究了运行在不同的机器上的若干个程序之间如何互相通信、互相交换数据的问题,实现了面向分布式系统的程序设计语言CSP. 在该语言中,一个并发系统由若干并行运行的顺序进程组成,

induction hypothesis：归纳法假设

induced operation 诱导运算 | induction hypothesis 归纳法假设 | inelastic collision 非弹性碰撞

induction hypothesis：归纳法假设Btu中国学习动力网

induced operation 诱导运算Btu中国学习动力网 | induction hypothesis 归纳法假设Btu中国学习动力网 | inelastic collision 非弹性碰撞Btu中国学习动力网

Induktionsannahme induction hypothesis：归纳假设

Induktion induction 归纳 | Induktionsannahme induction hypothesis 归纳假设 | Induktionsschluss conclusion 结论

Induktionsvoraussetzung induction hypothesis：归纳假设

Induktionsverankerung base step 基本步骤 | Induktionsvoraussetzung induction hypothesis 归纳假设 | induzierte Topologie induced topology 诱导拓扑