17 ottobre - 23 ottobre
Schema della sezione
-
-
-
Generation of computable functions
- Primitive recursion and examples [§2.4]
- Definition by cases. Algebra of Decidability. Bounded sums and products. Bounded quantification [§2.4.6, §2.4.7, §2.4.10]
- Bounded minimalisation [§2.4.12, §2.4.13, §2.4.14, §2.4.15]
-
-
-
- Unbounded minimalisation [§2.5]
- Computability of the inverse function. Finite functions and their computability.
- Partial recursive functions [§3.1, §3.2, §3.7]
- Definition
- The class of partial recursive functions coincide with the class of URM-computable functions [statement and some ideas]
-
-