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]] | + | * [[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]] | ||
Aktuální verze z 9. 12. 2014, 23:18
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
