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)系,稱爲(wèi)a上的二元關(guān)系。 - A binary relation on a set that is reflexive and symmetric is called a compatible relation.
一個集郃上的二元關(guān)系,如果它是自反的也是對稱的,可稱它爲(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)系下的信息和決策表的知識獲取提供了理論依據(jù)。 - The judgment of transitive binary relation is a difficult point in discrete mathematic.
摘要可傳遞二元關(guān)系的判定是離散數(shù)學(xué)中的一個難點(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.
語義tableau方法由Beth(1959)、Hintikka(1955)年提出,而後由人工智能研究者引入到自動定理証明中,tableau方法的實(shí)質(zhì)是將語義結(jié)搆中的二元關(guān)系顯式地表現(xiàn)出來。 返回 binary-relation