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]]
  
 
[[Kategorie: Logika]]
 
[[Kategorie: Logika]]

Verze z 9. 12. 2014, 23:17