13 ottobre - 19 ottobre
Schema della sezione
-
-
-
- Exercises on some variants of the URM machine
- Decidable predicates. [§1.4]
- Computability on domains different from the natural numbers. [§1.5, §3.6]
-
-
-
- Generating computable functions: Notation.
- Closure under generalised composition (Substitution) [§2.1, §2.2, §2.3]
- Primitive recursion and examples [§2.4]
-
-