Portál:Logika/Vyčíslitelnost

Verze z 9. 12. 2014, 23:16, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky) (Založena nová stránka s textem „* Algoritmus* Věta o rekurzi | Riceova věta* Rekurzívní funkce | Rekurzívně spočetná množina | Ordinální rekurze* Výv…“)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)