Študijné materiály pre kurz 1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2007/08

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

• Recursive Functions

• Beyond Primitive Recursion
• Ackermann-Peter Function (README)
• Universal Function for Primitive Recursive Functions (README)
• General Recursive Functions
• Partial Recursive Functions (README)
• Normal Form Theorem (README)
• Partial μ-Recursive Functions (README)