Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .

Basics: Prerequisites and Notation
1.1 Sets and Operations on Sets
1.2 Relations, Functions and Predicates
1.3 Equality
1.4 Other Notational Devices
The RAM Model
2.1 The Unlimited Register Machine (URM)
2.2 Examples
3.2 Primitive Recursion
3.3. PRIMITIVE RECURSIVE PREDICATES 39
3.3 Primitive Recursive Predicates
3.4 Some Forms of Primitive Recursion
The Partial Recursive Functions
Coding and G¨odelization
5.1 Introduction
5.2 Numbering and Coding
5.3 G¨odel Numbers of URM Instructions
5.4 G¨odel Numbering of Programs
6.1 Introduction
6.2 URM–: A Restricted Machine for Primitive Recur-
6.3 A Non-Primitive Recursive Total Partial Recursive
6.3.1 A Variant of the Ackermann function
6.3.2 The Growth of functions
7.1 The Parametrisation theorem (Simpliﬁed form)
7.2 Universal functions and Programs
0 of .
Results for:
P. 1
Toc Recursive Function Theory

Toc Recursive Function Theory

Ratings: (0)|Views: 16|Likes:
toc, recursive function
toc, recursive function

See more
See less

08/13/2013

pdf

text

original