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