zbiory rekurencyjnie przeliczalne
Matthew:
3. Nieskończony zbiór A jest rekurencyjny wtedy i tylko wtedy gdy jest
obrazem całkowitej obliczalnej funkcji rosnącej.
4. Niech f będzie funkcja jednoargumentową. Pokazać że f jest obliczalna
wtedy i tylko wtedy gdy zbiór {2
x3
f(x):x należacych do dziedziny
funkcji f} jest r. e.
Ktoś coś
Z góry dzięki!