6 ottobre - 12 ottobre
Schema della sezione
-
-
-
Effective procedures and computable functions. Relations, functions, sets and cardinality. Existence of non-computable functions.
-
-
-
URM-computability. The class C of URM-computable functions. Examples. [§1.2, §1.3]
-
-