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

(Založena nová stránka s textem „ Kategorie: Logika“)
 
 
(Nejsou zobrazeny 2 mezilehlé verze od stejného uživatele.)
Řádek 1: Řádek 1:
 
+
{{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