TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
resolution method [2 fiches]
Fiche 1 - données d’organisme interne 1993-03-22
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Management Operations (General)
Fiche 1, La vedette principale, Anglais
- resolution method
1, fiche 1, Anglais, resolution%20method
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
Fiche 1, Français
Fiche 1, Domaine(s)
- Opérations de la gestion (Généralités)
Fiche 1, La vedette principale, Français
- mode de résolution
1, fiche 1, Français, mode%20de%20r%C3%A9solution
correct
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 1986-11-18
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- resolution method
1, fiche 2, Anglais, resolution%20method
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- resolution principle 2, fiche 2, Anglais, resolution%20principle
correct
- resolution theorem proving 3, fiche 2, Anglais, resolution%20theorem%20proving
correct
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
The inference strategy used in logical systems to determine the truth of an assertion. This complex, but highly effective, method establishes the truth of an assertion by determining that a contradiction is encountered when one attempts to resolve clauses, one of which is a negation of the thesis one seeks to assert. 3, fiche 2, Anglais, - resolution%20method
Record number: 2, Textual support number: 1 CONT
In computation, logical arguments are found to be true or false through the resolution method which is used on propositions ... 4, fiche 2, Anglais, - resolution%20method
Record number: 2, Textual support number: 2 CONT
Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms. 5, fiche 2, Anglais, - resolution%20method
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- principe de résolution
1, fiche 2, Français, principe%20de%20r%C3%A9solution
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- méthode de résolution 2, fiche 2, Français, m%C3%A9thode%20de%20r%C3%A9solution
proposition, nom féminin
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Principe dû au mathématicien français Jacques Herbrand, repris et programmé par Alan Robinson, qui systématise le raisonnement par l'absurde : pour démontrer que le théorème p alors g s'applique, le principe de la résolution cherche à prouver que la proposition "p et non g" est contradictoire. 3, fiche 2, Français, - principe%20de%20r%C3%A9solution
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :