Člen : Přihlášení |Registrace |Nahrát znalosti
Vyhledávání
Problém poštovní korespondence [Změna ]
Problém poštovní korespondence je nerozhodnutelným rozhodovacím problémem, který představil Emil Post v roce 1946. Protože je to jednodušší než problém zastavování a Entscheidungsproblem, je často používán jako důkaz nedefinovatelnosti.
1.Definice problému
1.1.Alternativní definice
2.Příklad příklady problému
2.1.Příklad 1
2.2.Příklad 2
3.Důkaz náčrtu nerozhodnosti
4.Varianty
[Přidat Více Obsah ]


Copyright @2018 Lxjkh