TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
DEDUCTIVE ALGORITHM [1 record]
Record 1 - internal organization data 2020-10-23
Record 1, English
Record 1, Subject field(s)
- Computer Mathematics
- Artificial Intelligence
Record 1, Main entry term, English
- deduction algorithm
1, record 1, English, deduction%20algorithm
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
- deductive algorithm 2, record 1, English, deductive%20algorithm
correct
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
... deduction algorithms are widely used in applications such as scheduling and design verification, showing that they can be useful for many real-world reasoning tasks. 3, record 1, English, - deduction%20algorithm
Record 1, French
Record 1, Domaine(s)
- Mathématiques informatiques
- Intelligence artificielle
Record 1, Main entry term, French
- algorithme de déduction
1, record 1, French, algorithme%20de%20d%C3%A9duction
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
- algorithme déductif 2, record 1, French, algorithme%20d%C3%A9ductif
correct, masculine noun
Record 1, Textual support, French
Record number: 1, Textual support number: 1 CONT
Algorithme de déduction. La première étape consiste à présélectionner les mots du dictionnaire qui correspondent aux deux critères précédemment décrits : l'algorithme ne garde que les mots commençant par la même première lettre que la première lettre saisie par l'utilisateur et qui ont [un nombre de caractères égal au] nombre de frappes effectuées par l'utilisateur. 3, record 1, French, - algorithme%20de%20d%C3%A9duction
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Matemáticas para computación
- Inteligencia artificial
Record 1, Main entry term, Spanish
- algoritmo deductivo
1, record 1, Spanish, algoritmo%20deductivo
correct, masculine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
- algoritmo de deducción 2, record 1, Spanish, algoritmo%20de%20deducci%C3%B3n
correct, masculine noun
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 OBS
Lenguaje formal de la lógica que, mediante un conjunto de reglas, permite decidir si una fórmula es deducible de otras. 1, record 1, Spanish, - algoritmo%20deductivo
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: