{{TIN064 Skripta}}

Seznam zkratek

Č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