1 dicembre - 7 dicembre
Schema della sezione
-
-
-
Recursively enumerable sets. [§7.2.1, §7.2.2, §7.2.4, §7.2.5, §7.2.6, §7.2.13]
-
-
-
- Reducibility and r.e. sets [§9.1.3]
- Alternative characterisation of r.e. sets [§7.2.3, §7.2.7]
- Introduction to Rice-Shapiro's theorem [§7.2.16]
-
-