TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

RAISONNEMENT RECURRENCE [5 records]

Record 1 2023-04-14

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
CONT

Cette égalité n’ est donc pas un théorème équationnel des entiers, elle est un théorème inductif, c'est-à-dire que sa démonstration fait appel à un axiome d’induction(raisonnement par récurrence).

Spanish

Save record 1

Record 2 2016-01-07

English

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).

French

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).

Spanish

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).

Save record 2

Record 3 - external organization data 2006-02-20

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
02.01.02 (2382)
ISO/IEC standard entry number
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].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
02.01.02 (2382)
ISO/IEC standard entry number
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].

Spanish

Save record 3

Record 4 1994-07-07

English

Subject field(s)
  • Mathematics
  • Computer Graphics
PHR

recurrence relation

French

Domaine(s)
  • Mathématiques
  • Infographie
DEF

Mouvement répétitif, quelquefois périodique, qui peut impliquer le retour au point de départ.

OBS

L’expression mathématique de la récurrence s’obtient parfois par une transformation par symétrie.

PHR

La récurrence transfinie.

PHR

récurrence aller, récurrence retour.

PHR

raisonnement par récurrence.

Spanish

Save record 4

Record 5 1986-10-31

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
CONT

Cette égalité n’ est donc pas un théorème équationnel des entiers, elle est un théorème inductif, c'est-à-dire que sa démonstration fait appel à un axiome d’induction(raisonnement par récurrence).

Spanish

Save record 5

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2025
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: