Charles Explorer logo
🇨🇿

Témata z vyčíslitelnosti

Předmět na Filozofická fakulta |
ALGV00042

Anotace

Výběrová přednáška věnovaná některým z témat: věta o rekurzi, produktivní a kreativní množiny, rekurzívně neoddělitelné množiny, 1-převeditelnost, prosté a hyperprosté množiny, turingovská převeditelnost a Friedberg-Muchnikova věta.