Portál:Vyčíslitelnost

Verze z 9. 12. 2014, 23:17, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)

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

Citováno z „https://wikisofia.cz/w/index.php?title=Portál:Vyčíslitelnost&oldid=11956“