Portál:Vyčíslitelnost: Porovnání verzí
| Řádek 1: | Řádek 1: | ||
{{Portál}} | {{Portál}} | ||
| + | * [[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]] | ||
[[Kategorie: Logika]] | [[Kategorie: Logika]] | ||
Verze z 9. 12. 2014, 23:17
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
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897
