在任何公理系统中,基设符号都是不下定义的,其它所有符号都藉基设符号来界定。
这种方法是无须证明的并且用与观察者的位置有关的几何学不变方式阐述。
这几乎是不言自明的:‘互联网已经改变了我们的大脑和它的运作方式。
公理设计在系统性地生成概念初始方案方面有优势,TRIZ在解决设计中出现的冲突方面有优势。
实际上,CHINAPAY这一英文名的直译就是“中国支付”,其市场目标不言自明。
似乎是一个不确立的问题,因为我们是在谈神圣供给的一个公理。
太平洋投资管理公司认为,针对通货紧缩性失衡和小型萧条的补救办法十分简单并且不言自明:即阻挡资产价格的跌落。
全球化将使政治边缘化在过去曾被当作不言自明的真理。
公理化设计理论与TRIZ在产品设计开发中都有其优势及局限性。
一般概念:普遍的或抽象的概念或术语,认为是绝对的或自明的。
一个放诸四海皆准的事实是必须先做成朋友,对方才会听你的忠告。
事物的所有表示和模型的逻辑的,系统的,正式的,和公理性的开发。
一个放诸四海而皆准的准则-必须先做成朋友,对方才会听你的忠告。
第三章提出了基于公理设计的电机产品网络化制造配置建模方法。
这是显而易见的:随着能源消耗量的增加,人民的财富也随之增长。
这种公理方法是2,000多年来许多理性思想体系(甚至体系外之数学)的模范。
最后,使用该语言的公理语义对一个应用实例的完全正则性质进行了形式化验证。
最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。
1·SO, in every statement, the condition or conclusion of the axiomatic semantics of expression has the "REASON".
因此,在每个语句,表达式的公理中的条件部分和结论部分都含有REASON。
2·In this paper, we prove that there is an inconsistency in any infinite set of the classical set theory or the modern axiomatic set theory.
文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。
3·It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
本文证明了:群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
4·A kind of integrated model based on theory of axiomatic design and solving theory of invention problems has been put forward.
提出了一种基于公理设计理论与发明问题解决理论的集成模型。
5·The paper presents a final solution for the independence of the axiomatic system of the vector space, and so is of some basic significance in theory.
本文最后解决了向量空间公理系统独立性的问题,这在理论上有一定意义。