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…“) |
|||
| Řádek 1: | Řádek 1: | ||
| − | * [[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]] | ||
Aktuální verze z 9. 12. 2014, 23:17
- 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