recursive definition


Also found in: Thesaurus, Encyclopedia, Wikipedia.
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
Mentioned in ?
References in periodicals archive ?
Since LLL does not cause any trouble with case <iv>, we are done building the recursive definition for even l as found in the theorem statement.
Dave Morice commented on the recursive definition of WORD:
Imagine, for example, that we simply translated the recursive definition of theoremhood for some axiom system for classical logic into a correspondingly recursive definition on the model-theoretic level, and then restate and prove the completeness theorem for classical logic in terms of that translation.
He further holds that Principia offers a recursive definition of "truth," which assumes that the facts are truth-markers, and the universals inhering in them are logically independent of each other.
Though proving that the resulting collection is a basis with symmetric Hilbert series is better done from the recursive definition, the construction is better motivated from this viewpoint.
Now, for each Fibonacci sequence we have investigated above, we have been increasing the number of previous terms to be added in the recursive definition.
Tarski provided us with the first precise formulation of the T-schema, while also showing how to give a recursive definition of truth.
For example, (1) is a discrete recursive definition.
Following again the lead of Levinson, all this can be usefully put in some kind of recursive definition.
He also defined a notion of continuum and formulated steps toward a recursive definition of spaces with a homogeneous dimension number.
Each instance definition is translated as a functional, abstracting over the recursive definition of the overloaded variable.
4) Oppy denies that 'the content of the noton work of art can be captured in some sort of recursive definition which recapitulates the history of art'.

Full browser ?