TIN064 Seznam zkratek

Wiki-skripta pro Vyčíslitelnost I
Obsah
Úvod (náhled do problematiky) Prerekvizity (co je dobré vědět předem) ČRF, ORF, PRF Rekurzivní spočetnost Převeditelnost RSM Generování RSM Imunní a simple množiny Věty o rekurzi Produktivní a kreativní množiny Neoddělitelné množiny Gödelova věta Seznam zkratek

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