Domande fatte negli ultimi 5 minuti di una lezione:
Presa [math] : [math] -> [math] e l'insieme A : non vuoto, sottoinsieme di [math] :
- se A ricorsivo allora(?) f^-1(A) = { n appartenente a [math] | f(n) appartiene ad A} è ricorsivo?
- se A ricorsivo allora(?) f^-1(A) è r.e.?
- se A ricorsivo allora(?) f(A) è ricorsivo?
- se A ricorsivo allora(?) f(A) è r.e.?