« Résolvant » : différence entre les versions

Version du 14 avril 2021 à 16:28

Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.

résolvant

résolvante

resolvent

Source : TermiumPlus

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.
 == Français ==
-xxxxxxx
+'''résolvant'''
+'''résolvante'''
 == Anglais ==
-'''resolvent  '''
+'''resolvent'''
-the result obtained by resolving two clauses.
+<small>
+[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-eng.html?lang=eng&i=1&srchtxt=Resolvent&index=alt&codom2nd_wet=1#resultrecs  Source : TermiumPlus  ]
-<small>
+[[Catégorie:Révision]]
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]