All Subjects
Light
2.1
Definition of partial recursive functions
2.2
Unbounded minimization (μ-operator)
2.3
Kleene's normal form theorem
2.4
Examples of partial recursive functions
2.5
Relationship between partial and total recursive functions