Postova věta
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
- Vyčíslitelnost, skripta od Antonína Kučery
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. |