Informateci

Orale con degano - sia f calcolabile totale, dire se A_f={i| per ogni x phi_i(x) = f(x)} e' R, R.E, i.i.r.f e darne una motivazione - enunciare e dimostrare teorema di rice - enunciare e dimostrare teorema pre-rice (1.10.19 delle dispense) - dimostrare che le riduzioni tramite P classificano sia P c...