Salve, qualcuno potrebbe aiutarmi con questi esercizi? Sono veramente indeciso su quali siano le affermazioni corrette.
-Si consideri il seguente insieme'
A = {n ≤ 100 | dom(
φn) infinito}
Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile
-Si consideri il seguente insieme:
A = {n | ∃k :
φk (n)↑}
Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A non è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile
-Si consideri il seguente insieme:
A = {n | ∀ x :
φn (x)↓}
Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile
-Si consideri il seguente insieme:
A = {n | ¬∃m > n.
φn =
φm}
Individuare tra le seguenti le affermazioni vere.
Scegli una o più alternative:
a. A è ricorsivo
b. A è semanticamente chiuso
c. A è ricorsivamente enumerabile
d. il complemento di A non è ricorsivamente enumerabile
e. A non è ricorsivamente enumerabile
Ultima modifica di
MicheleRD il 29/06/2019, 13:56, modificato 1 volta in totale.