Študijné materiály pre kurz 1-INF-450 Logika pre informatikov ZS 2006/07

Recursive Functions

• Preliminaries

• Primitive Recursive Functions

• Basic Development
• Bounded Minimalization
• Pairing Function
• Course of Values Recursion
• Backward Recursion
• Recursion with Parameter Substitution
• Nested Simple Recursion
• Recursion with Measure
• Regular Recursion
• Clausal Language

• General Recursive Functions

• Beyond Primitive Recursion
• Partial Recursive Functions
• Normal Form Theorem
• μ-Recursive Functions