本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件。
Some criteria based on mode inference for checking the reasonableness of inductive hypotheses are presented in this paper.
那是因为归纳论点依赖于,统一的自然的假设,那是休谟的叫法,大卫,休谟。
That's because inductive arguments rely on the assumption of the uniformity of nature, that's what Hugh called it, David Hugh.
基于这种隐喻性假设,当代课程观可归纳为“摹仿型”与“间离型”两种基本类型。
According to this metaphorical assumption, contemporary curriculum views could be concluded to two basic kinds: imitation and alienation.
诠释者辩证运用归纳与假设,将考据与义理并举,让知识与道德在“以情挈情”的实践中相互转化并进。
The person who do the annotation used conclusion and hypothesis discriminately, and by emphasizing both argumentation and textual research, he tried to make knowledge and morals develop together.
本文以归纳程序综合系统NDIPS为背景,介绍自顶向下的归纳程序综合算法,以及程序假设空间的组织、搜索所采用的技术和策略。
With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
总结归纳了经典统计力学与量子统计力学的基本假设。
The classical and quantum statistical mechanics discussed in detail are those of hypotheses which possess axiomatic properties.
事实上:世界上任何一种科学,都是从归纳逻辑出发,提出假设,形成一定的“理论”,进行演绎逻辑,从而产生预测,之后再进行验证。
Actually: every kind of science is based on inductive logic, in order to calculate, science puts forward hypothesis, forms specific "theory" to deduct, and then verify it.
作出归纳法假设,进行简单的归纳法证明。
Synthesize induction hypotheses and simple induction proofs.
语境论以这样的假设为基础:人们可以从显而易见的语境中推知或归纳出语义。
Contextualism is based on the presumption that one can derive meaning from or reduce meaning to observable contexts.
基于这种隐喻性假设,当代课程观可归纳为“摹仿型”与“间离型”两种基本类型。
With the new reform of basic education curriculum, the curriculum concept differs from the past.
基于这种隐喻性假设,当代课程观可归纳为“摹仿型”与“间离型”两种基本类型。
With the new reform of basic education curriculum, the curriculum concept differs from the past.
应用推荐