Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
1Activity

Table Of Contents

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 (Simplified form)
7.2 Universal functions and Programs
0 of .
Results for:
No results containing your search query
P. 1
Toc Recursive Function Theory

Toc Recursive Function Theory

Ratings: (0)|Views: 16|Likes:
Published by Wilfred Godfrey
toc, recursive function
toc, recursive function

More info:

Published by: Wilfred Godfrey on Oct 11, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/13/2013

pdf

text

original

You're Reading a Free Preview
Pages 5 to 27 are not shown in this preview.
You're Reading a Free Preview
Pages 32 to 83 are not shown in this preview.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->