binary-relation
常见例句
- The set E may be thought of as a binary relation on set V.
集合E可看成集合V上的一个二元关系。 - A binary relation from a set A to A is said to be a binary relation on A.
从集合a到a的二元关系,称为a上的二元关系。 - A binary relation on a set that is reflexive and symmetric is called a compatible relation.
一个集合上的二元关系,如果它是自反的也是对称的,可称它为相容关系。 - The results provides theory basis for knowledge acquisition of information systems and decision table based on general binary relation.
所得结果为在一般二元关系下的信息和决策表的知识获取提供了理论依据。 - The judgment of transitive binary relation is a difficult point in discrete mathematic.
摘要可传递二元关系的判定是离散数学中的一个难点。 - The reasoning methods that rise by AR have been applied widespreadly. Semantic tableau method proposed by Beth (1959) and Hintikka (1955) was introduced to ATP by AI researcher later. Tableau method is virtually show binary relation in semantic structure.
语义tableau方法由Beth(1959)、Hintikka(1955)年提出,而后由人工智能研究者引入到自动定理证明中,tableau方法的实质是将语义结构中的二元关系显式地表现出来。 返回 binary-relation