TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

RAISONNEMENT RECURRENCE [2 fiches]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 2016-01-07

Anglais

Subject field(s)
  • Computer Mathematics
DEF

A method of proving a statement concerning terms based on a natural number not less than N by showing that the statement is valid for the term based on N and that, if it is valid for an arbitrary value of n that is greater than N, it is also valid for the term based on (n+1).

OBS

mathematical induction: term and definition standardized by ISO and officially approved by the Government EDP Standards Committee (EDP: Electronic Data Processing).

Français

Domaine(s)
  • Mathématiques informatiques
DEF

Méthode de démonstration d'une propriété des critères naturels de rang égal ou supérieur N par laquelle on montre d'abord que ladite propriété est vraie pour l'entier N et que, si elle est vraie pour un entier quelconque (n) de rang supérieur à N, elle est également vraie pour tous les entiers de rang supérieur (n+1).

OBS

raisonnement par récurrence : terme et définition normalisés par l’ISO et l'AFNOR et uniformisé par le Comité des normes gouvernementales en informatique (CNGI).

Espagnol

Campo(s) temático(s)
  • Matemáticas para computación
DEF

Método de demostración, relacionando términos basados en números naturales no menores que N, para demostrar que la declaración es válida para el término basado en N, y que, si este es válido para un valor arbitrario de n mayor que N, éste también es válido para el término basado en (n + 1).

Conserver la fiche 1

Fiche 2 - données d’organisme externe 2006-02-20

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
02.01.02 (2382)
numéro d'article de norme ISO/CEI
DEF

method of proving a statement concerning terms based on natural numbers not less than N by showing that the statement is valid for the term based on N and that, if it is valid for an arbitrary value of n that is greater than N, it is also valid for the term based on (n + 1)

OBS

mathematical induction: term and definition standardized by ISO/IEC [ISO 2382-2:1976].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
02.01.02 (2382)
numéro d'article de norme ISO/CEI
DEF

méthode de démonstration, selon laquelle on montre qu'une propriété est vraie dans un cas de rang N, ensuite que, si elle est vraie pour un cas quelconque de rang égal ou supérieur à N, elle est vraie pour le cas suivant, et que, par conséquent, elle est vraie dans tous les cas de rang égal ou supérieur à N

OBS

raisonnement par récurrence : terme et définition normalisés par l'ISO/CEI [ISO 2382-2:1976].

Espagnol

Conserver la fiche 2

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

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

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 :