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

Recursive Functions

• Preliminaries

• Primitive Recursive Functions

• Primitive Recursive Functions
• Basic Development
• Primitive Recursive Predicates and Bounded Minimalization
• Pairing Function and Arithmetization
• Backward Recursion (README)
• Recursion with Parameter Substitution (README)
• Nested Simple Recursion (README)
• Recursion with Measure
• Regular Recursion

• General Recursive Functions

• Beyond Primitive Recursion

• Ackermann-Peter Function (README)
• Universal Function for Primitive Recursive Functions (README)
• 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)
• Recursively Decidable, Semidecidable and Undecidable Problems (README)