Portál:Logika/Vyčíslitelnost: Porovnání verzí
(Založena nová stránka s textem „* Algoritmus* Věta o rekurzi | Riceova věta* Rekurzívní funkce | Rekurzívně spočetná množina | Ordinální rekurze* Výv…“) |
(Žádný rozdíl)
|
Verze z 10. 12. 2014, 00:16
- 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