常見例句

• 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