recursive definition

(redirected from Inductive definition)
Also found in: Thesaurus, Encyclopedia.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.recursive definition - (mathematics) a definition of a function from which values of the function can be calculated in a finite number of steps
math, mathematics, maths - a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement
definition - a concise explanation of the meaning of a word or phrase or symbol
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
Mentioned in ?
References in periodicals archive ?
2.3 Inductive definition of tree-width and clique-width
Consider, for example, the different ways in which mathematicians construct inductive definitions. In order to provide an inductive definition of a class of mathematical entities, one must first define a base class and then stipulate further conditions for inclusion by reference to the properties of members of the base class.
In the following, we provide an inductive definition of the subtyping relation by means of the ([[is less than or equal to].sup.(n)]) relation between types, where n is zero or a positive integer.
To overcome this problem, we introduce the auxiliary unary predicate symbol reachable and express it through the inductive definition provided in figure 17.