查询词典 proof by contradiction

In Chinese, the meaning of curriculum development based on schools has the logic problem of confused concept, self contradiction and circulative proof.

从实际来看，西语中的校本课程开发没有所谓&校本课程的开发&一说，在中文的语境下校本课程的开发一说存在概念不清、自相矛盾、循环论证等逻辑问题，同时也容易引发诸多实际的问题。

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用&描述框架+规则组&的层次结构，&描述框架&用于描述问题域所涉及的因素，&规则组&反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

However.it is still refused as a subjective idealism in our conntry,in fact,thrs ls a prejudice based on a metaphysical comprehcnsion of the basic theory of dialectical materialism of Marxism.the free evaluation of evidence helps us solve,in a relatively good way,the basic contradiction between the authenticators'subjective initiative and the legal restraints of the process of proof in the criminal evidence system.

自由心证证据制度较好地解决了证明主体的主现能动性与证明过程的法律限制这个刑事证据制度的基本矛盾，它既遵循了人类认识的一般规律，赋予法官在判断和运用证据的理性思堆活动中的充分主观自由；又适应了现代法治的基本要求，把形式证明过程纳入规范、文明的程序之中。

To provide a stable and vibration-proof environment , so that Mask Aligner could be vibration proof even under the high image magnification rate.

提供稳定无震的空间，如此曝光机在高倍率放大的对位情况下对位系统不会有影像振动的情形。

B rule, the prosecution of appellee omission cases, the burden of proof to prove that the appellant should apply for the fact that, in the second instance court, the appellant Lin-ching has admitted its failure to appellee submitted proof of qualification conditions .

二项之规定，在起诉被上诉人不作为的案件中，上诉人应举证证明其提出申请的事实，在二审庭中，上诉人林凤清亦承认其未向被上诉人提交过资质条件证明。

Article 21 The creditors shall, if reporting their claims, submit the proof of the claims and the lawful and valid identification certificates, an authorized reporter shall submit the valid identification certificate of the authorizer, the power of attorney and the proof of the claims.

第二十一条债权人申报债权应当提交债权证明和合法有效的身份证明；代理申报人应当提交委托人的有效身份证明、授权委托书和债权证明。

Main products 35kV and below high or low voltage(cross-linked) power cable, overhead cable, 30kVand below heavy mobile equipment used high-pressure soft rubber cables,GM rubber cables, rubber Mine series cables, electrical wire and cable equipment used to control cables, bare wires, computer cables, On the cable, pre-cable, and other branches; Computer cable, rubber sheathed cable, aniline cable, pre-branch cable, Also various production flame-retarded, fireproof, waterproof, rat-proof, ant-proof, and low smoke halogen-free cable, and others special cables.

公司目前主要生产35kV及以下高低压电力电缆、绝缘架空电缆、30kV及以下重型移动设备用橡套高压软电缆、通用橡套电缆、矿用橡套系列电缆、电器装备用电线电缆、控制电缆、裸电线、计算机电缆、本安电缆、预分支电缆等；以及各种阻然、耐火、耐高温、防水、防鼠防蚁及低烟无卤电缆等特种电缆。

By the combinatorial proof or combinatorial interpretation, the identity is equipped with certain count meaning. The most general way in the combinatorial proof is to count two sides of the identity by two different methods. Generaly, through building a bijection from one set to another one, the number of the two sets respectively represents the two sides of the identity.

恒等式的组合证明或组合解释赋予了恒等式一定的计数意义，组合证明最常用的方法是分别用两种不同的方法对恒等式的两端进行计数，一般通过构造两个集合之间的双射，这两个集合的个数分别表示恒等式的两端，从而根据双射的一一对应性证明恒等式。

In the thesis some vital identities with binomial coefficient are given with their combinatorial proof, and the q-analogues of some identities are offered with corresponding combinatorial proofs on the subspace-lattice. Especially, one remarkable result is that a new q-analogue of the cube-sums identity is obtained with its combinatorial proof over the vector space.

本文给出了一些重要的二项式系数恒等式的组合证明或组合解释，并从向量空间角度给出了一些恒等式的q-模拟及组合证明，其中突出的成果是给出了立方和恒等式的一个新的q-模拟及组合证明。

The inside value of the system of burden of proof lies in the distribution of burden of proof.

证明责任制度的价值内核在于证明责任的分配。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"