Portál:Vyčíslitelnost
Vyčíslitelnost
- Algoritmus
- Věta o rekurzi
- Riceova věta
- Rekurzívní funkce
- Rekurzívně spočetná množina
- Ordinální rekurze
- Vývojové diagramy
- Churchova teze
- Diagonální metoda
- Univerzální funkce
- Věta o projekci
- Postova věta
- Věta o parametrech
- m-převeditelnost
- m-kompletnost
- Produktivní množiny
- Kreativní množiny
- Problém zastavení
- Aritmetická hierarchie