Portál:Vyčíslitelnost: Porovnání verzí
| (Není zobrazena jedna mezilehlá verze od stejného uživatele.) | |||
| Řá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]] | ||
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
