TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
mathematical induction [2 records]
Record 1 - internal organization data 2016-01-07
Record 1, English
Record 1, Subject field(s)
- Computer Mathematics
Record 1, Main entry term, English
- mathematical induction
1, record 1, English, mathematical%20induction
correct, standardized, officially approved
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 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). 2, record 1, English, - mathematical%20induction
Record number: 1, Textual support number: 1 OBS
mathematical induction: term and definition standardized by ISO and officially approved by the Government EDP Standards Committee (EDP: Electronic Data Processing). 3, record 1, English, - mathematical%20induction
Record 1, French
Record 1, Domaine(s)
- Mathématiques informatiques
Record 1, Main entry term, French
- raisonnement par récurrence
1, record 1, French, raisonnement%20par%20r%C3%A9currence
correct, masculine noun, standardized, officially approved
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 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). 2, record 1, French, - raisonnement%20par%20r%C3%A9currence
Record number: 1, Textual support number: 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). 3, record 1, French, - raisonnement%20par%20r%C3%A9currence
Record 1, Spanish
Record 1, Campo(s) temático(s)
- Matemáticas para computación
Record 1, Main entry term, Spanish
- inducción matemática
1, record 1, Spanish, inducci%C3%B3n%20matem%C3%A1tica
correct, feminine noun
Record 1, Abbreviations, Spanish
Record 1, Synonyms, Spanish
Record 1, Textual support, Spanish
Record number: 1, Textual support number: 1 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). 1, record 1, Spanish, - inducci%C3%B3n%20matem%C3%A1tica
Record 2 - external organization data 2006-02-20
Record 2, English
Record 2, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 2
Record 2, Main entry term, English
- mathematical induction
1, record 2, English, mathematical%20induction
correct, standardized
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 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) 1, record 2, English, - mathematical%20induction
Record number: 2, Textual support number: 1 OBS
mathematical induction: term and definition standardized by ISO/IEC [ISO 2382-2:1976]. 2, record 2, English, - mathematical%20induction
Record 2, French
Record 2, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 2
Record 2, Main entry term, French
- raisonnement par récurrence
1, record 2, French, raisonnement%20par%20r%C3%A9currence
correct, masculine noun, standardized
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 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 1, record 2, French, - raisonnement%20par%20r%C3%A9currence
Record number: 2, Textual support number: 1 OBS
raisonnement par récurrence : terme et définition normalisés par l'ISO/CEI [ISO 2382-2:1976]. 2, record 2, French, - raisonnement%20par%20r%C3%A9currence
Record 2, Spanish
Record 2, Textual support, Spanish
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: