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