Portál:Vyčíslitelnost
Verze z 9. 12. 2014, 23:18, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky)
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