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.
所得結果爲在一般二元關系下的信息和決策表的知識獲取提供了理論依據(jù)。 - The judgment of transitive binary relation is a difficult point in discrete mathematic.
摘要可傳遞二元關系的判定是離散數(shù)學中的一個難點。 - 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方法的實質是將語義結搆中的二元關系顯式地表現(xiàn)出來。 返回 binary-relation