Vyčíslitelnost a složitost
6. blok: Riceovy věty, redukce
Studium
Učivo tohoto bloku je popsáno na stranách 55-63 těchto skript:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/IB107/um/IB107-vycislitelnost-2021.pdf
Následují slajdy k šestému bloku, do kterých si můžete dělat poznámky, a dále výuková videa. Pozor: Z 2. a 3. Riceovy věty byl oproti skriptům a videu vypuštěn předpoklad, že množina respektuje funkce. Tento předpoklad není v důkazech potřeba a věty proto platí i bez něj.