TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

DEDUCTIVE ALGORITHM [1 record]

Record 1 2020-10-23

English

Subject field(s)
  • Computer Mathematics
  • Artificial Intelligence
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.

French

Domaine(s)
  • Mathématiques informatiques
  • Intelligence artificielle
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.

Spanish

Campo(s) temático(s)
  • Matemáticas para computación
  • Inteligencia artificial
OBS

Lenguaje formal de la lógica que, mediante un conjunto de reglas, permite decidir si una fórmula es deducible de otras.

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

GCtranslate (available on the Government of Canada network only)

Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.

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: