TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
INPUT PREDICATE [3 fiches]
Fiche 1 - données d’organisme interne 2019-04-24
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Fiche 1, La vedette principale, Anglais
- nondeterministic predicate
1, fiche 1, Anglais, nondeterministic%20predicate
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- non-deterministic predicate 2, fiche 1, Anglais, non%2Ddeterministic%20predicate
correct
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
... a nondeterministic predicate... can compute multiple outputs for one input. 1, fiche 1, Anglais, - nondeterministic%20predicate
Fiche 1, Français
Fiche 1, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 1, La vedette principale, Français
- prédicat non déterministe
1, fiche 1, Français, pr%C3%A9dicat%20non%20d%C3%A9terministe
correct, nom masculin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Fiche 1, Espagnol
Fiche 1, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Fiche 1, La vedette principale, Espagnol
- predicado no determinista
1, fiche 1, Espagnol, predicado%20no%20determinista
proposition, nom masculin
Fiche 1, Les abréviations, Espagnol
Fiche 1, Les synonymes, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2019-04-24
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Computer Programs and Programming
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- input predicate
1, fiche 2, Anglais, input%20predicate
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
Input predicate : states what is assumed to be true at the start of the program. 2, fiche 2, Anglais, - input%20predicate
Fiche 2, Français
Fiche 2, Domaine(s)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- prédicat d'entrée
1, fiche 2, Français, pr%C3%A9dicat%20d%27entr%C3%A9e
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Fiche 2, Espagnol
Fiche 2, Campo(s) temático(s)
- Programas y programación (Informática)
- Inteligencia artificial
Fiche 2, La vedette principale, Espagnol
- predicado de entrada
1, fiche 2, Espagnol, predicado%20de%20entrada
correct, nom masculin
Fiche 2, Les abréviations, Espagnol
Fiche 2, Les synonymes, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2014-11-27
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Computer Mathematics
- Industrial Design
Fiche 3, La vedette principale, Anglais
- drawing checker
1, fiche 3, Anglais, drawing%20checker
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 CONT
A drawing checker is an algorithm that receives as input a geometric structure and a predicate stating a property that should hold for the structure. The task of the checker is to verify whether the structure satisfies or not the given property. … Checking is especially relevant in the graph drawing context. 1, fiche 3, Anglais, - drawing%20checker
Fiche 3, Français
Fiche 3, Domaine(s)
- Mathématiques informatiques
- Dessin industriel
Fiche 3, La vedette principale, Français
- vérificateur de dessins
1, fiche 3, Français, v%C3%A9rificateur%20de%20dessins
nom masculin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 CONT
Au niveau le plus bas, il s'agit de dessiner les transistors pour créer des portes logiques, en respectant les règles de dessin imposées par la technologie (succession de photolithogravures). Les outils utilisés sont des éditeurs graphiques, ou des éditeurs symboliques (qui font des tassements automatiques), des vérificateurs de dessins (qui contrôlent que les règles technologiques sont respectées), des extracteurs (qui déduisent la fonction logique à partir du dessin), des simulateurs électriques (qui utilisent des modèles physiques des transistors pour simuler et vérifier le fonctionnement logique). 1, fiche 3, Français, - v%C3%A9rificateur%20de%20dessins
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)
Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.
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 :