The basic axioms of reduce, reuse, and recycle should be good, shouldn't they? 减少、重用和循环这三个基本原则应该不会错,难道不是吗?
Theorems which are statements about the program inferred from the axioms. 定理(theorems)由公理推论得到的关于程序的陈述。
As I mentioned before, proofs use axioms and theorems to make their case. 如前所述,证明以公理和定理做为其论据。
Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work. 由于我们在进行不正式的证明,所以我不会为所使用的公理命名,也不会尝试去证明那些用来令证明有效的中间定理。
The goal is to link together axioms and theorems in such as way as to prove property P true. 目标是将公理与定理联合起来证明特性P为真。
Axioms are mathematical facts that we take as self-evident and do not try to prove from simpler principles. 公设就是不证自明的数学事实,无法从更简单的原理推导出来。
The foreign systems of multi-modal epistemic logic present some pitfalls on epistemological base and the uses of axioms. 国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足。
Of or relating to or derived from axioms. The paper gave two basic principle of axiomatic design theory. 同时给出了公理设计理论的两个基本公理。
A space in which Euclid's axioms and definitions apply; a metric space that is linear and finite-dimensional. 满足欧几里得公理和定义的区间;一种线性且有限维的区间。
Study of points, lines, angles, surfaces, and solids based on Euclid's axioms. 以欧几里德的公理为基础对点、线、角、面和立体的研究。
The relation between the serial cost pricing and the axioms of upper bound, lower bound, free lunch, controllability of demand and consistency was discussed in detail. 研究了序列成本定价机制对同质分配模型公理体系的满足情况,并着重探讨了该机制与上限性、下限性、免费午餐、需求可控性和一致性公理的关系。
We can use these axioms and the usual properties of equality to establish additional properties of integers. 我们使用这些公理,以及方程的常见属性来构建整数其他的属性。
Fourthly, my paper proposes a new axiom system, which is made from forty axioms and two rules. 第四,本文提出了新的认证逻辑公理系统。
Experiments, Outcomes, Sample Spaces, Events, Probability, Axioms of Probability. 试验,结果,样本空间,事件,机率,机率公理。
The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task. 模块化是优化本体推理的一种有效手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界与公理之间的关系计算出基于边界的模块。
Euclid's books on geometry, with their formal axioms and rigorous methods of proof, shaped mathematical thinking for more than 2000 years. 他关于几何方面的书籍,以其形式公理和严格论证方法影响世界数学思想达2000多年之久。
A method for query evaluation in deductive databases is presented, based on discovery of axioms and facts relevant to given query. 在基于与给定查询相关的事实与公理的基础上,给出了演绎数据库的一个产生式推理方法。
And the expected utility theory is based on a set of axioms that assure the existence and uniqueness ( up to a positive affine transformation) of utility for all real probability. 而且期望效用理论基于一组公理,从而保证效用函数的存在性和正线性变换意义下的唯一性。
The Independence of Several Axioms in Euclidean System 欧几里德公理系统中几个公理的独立性
Any of certain humorous axioms stating that anything that can possibly go wrong, will go wrong. 一种幽默的规则,它认为任何可能出错的事终将出错。
Firstly, the monotonic solution for cooperative games on matroids in dynamic model is recalled, and characterized by three axioms of strong monotonicity, substitution and dynamic efficiency. 论文主要介绍了拟阵上动态结构合作对策单调解的结构,并利用强单调性、交换性和动态有效性等三条公理刻画了此单调解的唯一性。
No one really doubted its truth and yet it lacked the compelling quality of the other axioms. 没有人怀疑它的真理性,但它却缺乏象其他公理那种说服力。
The theorems should be deduced from axioms by purely logical arguments. 定理应该通过纯粹的逻辑的推导而从公理演绎得到。
Geometry based on Euclid's axioms: e.g., only one line can be drawn through a point parallel to another line. 基于欧几里得公理的几何学:例如从一点只可以划一直线平行与另一直线。
Context: The Greeks based the study of geometry on definitions and axioms. 上下文:希腊人把几何研究的最基本出发点放在定义和公理上。
Geometry based on axioms different from Euclid's. 基于不同于欧几里得公理的几何学。
Axioms or ideas of science are the logic premise or concept frame of science theories. 科学公理亦称科学观念,它是科学理论的逻辑前提或概念框架。
My aunt is full of copy-book axioms. 我的姑妈张口就是字贴上的格言。
Where axioms are concerned, especially, less is more. 特别是在设定公理的时候,少就是多。
The non-utilitarian arguments constitute moral axioms, like any ultimate ethical norms. 非功利主义的论点,像任何最终的伦理准则一样,成了道德上的原则。