20 ottobre - 26 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]
-
-