{{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
