Vyčíslitelnost A

Anotace

Rekurzívní funkce a množiny jako matematické zpřesnění pojmu algoritmus. Jiné výpočtové modely.

Rekurzívně spočetné množiny, problém zastavení, aritmetická hierarchie. M-převeditelnost, m-úplnost, kreativní množiny, prosté množiny.