Informateci

1) dato A = { i | 3 \in(dom(phi_i))} ragionare sull'insieme (è ricorsivamente enumerabile?)
2) dimostrare che K è RE-completo per ≤rec
3) dimostrare che le funzioni calcolabili totali classificano R ed RE
4) supponiamo che NP = co-NP, cosa possiamo dire su P è incluso in NP? (in pratica voleva ...