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