24 ottobre - 30 ottobre
Schema della sezione
-
-
-
- Proof of the fact that the class of partial recursive functions coincide with the class of URM-computable functions
- Primitive recursive funcions. [§3.3]
- Ackermann's functions: total, computable and not primitive recursive [partially in §2.5.5]
-
-
-
Enumerating URM programs and computable functions [§4.1, §4.2]
-
-