Portál:Logika/Vyčíslitelnost: Porovnání verzí

@@ Řá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