< Predchádzajúci
Nasledujúci >
| DigiBooks - Prezeranie autora
Názov: Vyčislitelnost | Jazyk: Český Žáner: Vedy prírodné - Matematika Rok vydania: - |
---|
Autor: Brim; Luboš | Poznámka: Luboš Brim, Jan Šerák
Přibližný obsah: Efektivní numerace programů, Nerozhodnutelné problémy, Vyčislitelné vlastnosti množin, Uzávěrové vlastnosti RE-množin, Riceova věta, Relativizovaná teorie vyčislitelnosti. |
Formát | Stav | Veľkosť | pdf | Oprava po OCR formát | 311510 |
|