TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
COMPLETEDNESS [1 fiche]
Fiche 1 - données d’organisme interne 2017-04-04
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
- Philosophy (General)
Fiche 1, La vedette principale, Anglais
- completedness
1, fiche 1, Anglais, completedness
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- completeness 2, fiche 1, Anglais, completeness
correct
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
The state of being so constituted that a contradiction arises through the addition of any formula not previously deducible from the axioms of the system. 3, fiche 1, Anglais, - completedness
Record number: 1, Textual support number: 1 OBS
See Godel's work on Incompleteness and Completeness. 4, fiche 1, Anglais, - completedness
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
- Philosophie (Généralités)
Fiche 1, La vedette principale, Français
- complétude
1, fiche 1, Français, compl%C3%A9tude
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- saturation 2, fiche 1, Français, saturation
correct, nom féminin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Caractère d'un système hypothético-déductif qui ne contient pas de propositions indécidables. 3, fiche 1, Français, - compl%C3%A9tude
Record number: 1, Textual support number: 1 CONT
Les notions de validité, de complétude et de cohérence sont au cœur de la démarche des logiciens. 4, fiche 1, Français, - compl%C3%A9tude
Record number: 1, Textual support number: 2 CONT
Complétude des règles d'inférence, c. d'une réfutation, expression saturée. 2, fiche 1, Français, - compl%C3%A9tude
Record number: 1, Textual support number: 1 OBS
Dans la théorie de Kurt Godel, caractère d'un système logique qui ne contient et n'accepte pas de propositions indécidables c'est-à-dire des propositions qui n'ont pas été déduites préalablement à partir des axiomes du système considéré. 2, fiche 1, Français, - compl%C3%A9tude
Record number: 1, Textual support number: 2 OBS
Un système logique peut être saturé au sens fort, au sens faible, ou au point de vue sémantique. 2, fiche 1, Français, - compl%C3%A9tude
Fiche 1, Espagnol
Fiche 1, 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 :