Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .
0 of .
Results for:
P. 1
Recursion

# Recursion

Ratings: (0)|Views: 523|Likes:

### Availability:

See more
See less

09/12/2010

pdf

text

original

RECURSION(
TEXTBOOK:
§
4.3,
§
4.4
)
Gongjun Yan
2008/10/29
1

§
4.3: Recursive Definitions
A
recursive definition
of a set always consists ofthree distinct clauses:
The
basis clause
(or simply basis)
establishes thatcertain objects are in the set.
The
inductive clause
(or simply induction) establishes theways in which elements of the set can be combined toproduce new elements of the set.
The
extremal clause
asserts that unless an objectsatisfying basis clause and inductive clause, theobject is not a member of the set.
2008/10/29
2

Example 1
Examples of Recursive Definition of Set
Example 1.
Definition of the Set of NaturalNumbersThe set
N
is the set that satisfies the following threeclauses:
Basis Clause:
0
N
Inductive Clause:
For any element
x
in N,
x
+
1
isin N.
Extremal Clause:
Nothing is in N unless it isobtained from the Basis and Inductive Clauses.
29 October 2008Set Theory
3