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