Zbiór rekurencyjny
Sign in to saveAlso known as decidability theory
typ podzbioru zbioru liczb naturalnych
Article · Polski
Zbiór rekurencyjny – podzbiór (zbioru liczb naturalnych) dla którego można skonstruować algorytm, który w skończonym czasie rozstrzyga czy dana liczba należy do zbioru czy też nie. Inne nazwy tego pojęcia to zbiór obliczalny oraz zbiór rozstrzygalny. Własność ogólniejsza (słabsza) to bycie .
Abstract from DBpedia / Wikipedia · CC BY-SA