TIN064 Seznam zkratek

Z ωικι.matfyz.cz
Přejít na: navigace, hledání

Seznam zkratek[editovat | editovat zdroj]

ČR  
částečně rekurzivní
ČRF 
částečně rekurzivní funkce
OR  
obecně rekurzivní
ORF 
obecně rekurzivní funkce
ORM 
(obecně) rekurzivní množina
ORP 
obecně rekurzivní predikát
PR  
primitivně rekurzivní
PRF 
primitivně rekurzivní funkce
PRP 
primitivně rekurzivní predikát
RM  
rekurzivní množina
RS  
rekurzivně spočetný (v podstatě totéž co ČR)
RSM 
rekurzivně spočetná množina
RSP 
rekurzivně spočetný predikát
TS  
Turingův stroj
VR  
věta o rekurzi
ZAS 
základní aritmetická síla