binary-relation

常見例句

The set E may be thought of as a binary relation on set V.
集合E可看成集合V上的一個二元關(guān)系。
A binary relation from a set A to A is said to be a binary relation on A.
從集合a到a的二元關(guān)系，稱為a上的二元關(guān)系。
A binary relation on a set that is reflexive and symmetric is called a compatible relation.
一個集合上的二元關(guān)系，如果它是自反的也是對稱的，可稱它為相容關(guān)系。
The results provides theory basis for knowledge acquisition of information systems and decision table based on general binary relation.
所得結(jié)果為在一般二元關(guān)系下的信息和決策表的知識獲取提供了理論依據(jù)。
The judgment of transitive binary relation is a difficult point in discrete mathematic.
摘要可傳遞二元關(guān)系的判定是離散數(shù)學(xué)中的一個難點。
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方法的實質(zhì)是將語義結(jié)構(gòu)中的二元關(guān)系顯式地表現(xiàn)出來。