Postova věta

Postova věta

Množina M je rekurzivní právě tehdy, pokud jsou jak M, tak její doplněk rekurzivně spočetné.
Predikát P je ORP právě tehdy, pokud je P a jeho doplněk RSP.

Externí odkazy [editovat]

Tento článek je příliš stručný nebo v něm chybí důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte.