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

Recursive Functions

• Preliminaries

• Primitive Recursive Functions

• Basic Development
• Bounded Minimalization
• Pairing Function
• Course of Values Recursion
• Backward Recursion
• Recursion with Parameter Substitution
  • Ex04b
  • Ex05
• 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 (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)