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