Postova věta

From Wikipedia, the free encyclopedia

Remove ads

Postova věta popisuje v teoretické informatice vztah mezi rekurzivitou a rekurzivní spočetností. Říká, že množina M je rekurzivní právě tehdy, pokud jsou jak M, tak její doplněk rekurzivně spočetné. Je pojmenována podle Emila Posta.

Externí odkazy

Pahýl
Pahýl
 Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads
Remove ads