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

Recursive Functions

• Preliminaries

• Primitive Recursive Functions

• Definitions
• Basic Development
• Primitive Recursive Predicates and Bounded Minimalization
• Pairing Function and Arithmetization
• 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

• Ackermann-Peter Function (README)
• Universal Function for Primitive Recursive Functions
• General Recursive Functions (README)

• Partial Recursive Functions

• First recursion theorem (fixed point theorem) (README)
• Partial Recursive Functions (README)
• Normal Form Theorem (README)
• Partial μ-Recursive Functions (README)