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
Mentioned in ?
References in periodicals archive ?
3 Inductive definition of tree-width and clique-width
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.
The inductive definition of this relation, say T, for a graph (N, E) with nodes N and edges E is often stated as follows:
Their topics include proof-oriented categorical semantics, the continuum hypothesis implies excluded middle, non-deterministic inductive definitions and fullness, relating quotient completion via categorical logic, Hilbert's program and ordinal analysis, and Aristotle's deductive logic: a proof-theoretical study.
Finally, the article First-Order Logic with Inductive Definitions for Model-Based Problem Solving, by Maurice Bruynooghe, Marc Denecker, and Mirek Truszczynski, complements this special issue by broadening the view on declarative problem solving.