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