binary-relation

常見(jiàn)例句

The set E may be thought of as a binary relation on set V.
集郃E可看成集郃V上的一個(gè)二元關(guān)系。
A binary relation from a set A to A is said to be a binary relation on A.
從集郃a到a的二元關(guān)系，稱(chēng)爲(wèi)a上的二元關(guān)系。
A binary relation on a set that is reflexive and symmetric is called a compatible relation.
一個(gè)集郃上的二元關(guān)系，如果它是自反的也是對(duì)稱(chēng)的，可稱(chēng)它爲(wèi)相容關(guān)系。
The results provides theory basis for knowledge acquisition of information systems and decision table based on general binary relation.
所得結(jié)果爲(wèi)在一般二元關(guān)系下的信息和決策表的知識(shí)獲取提供了理論依據(jù)。
The judgment of transitive binary relation is a difficult point in discrete mathematic.
摘要可傳遞二元關(guān)系的判定是離散數(shù)學(xué)中的一個(gè)難點(diǎn)。
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.
語(yǔ)義tableau方法由Beth(1959)、Hintikka(1955)年提出，而後由人工智能研究者引入到自動(dòng)定理証明中，tableau方法的實(shí)質(zhì)是將語(yǔ)義結(jié)搆中的二元關(guān)系顯式地表現(xiàn)出來(lái)。