https://vhsky.cz/videos/watch/b1ac77a9-85ea-4eac-8feb-abc7dd6f2204 Samoopravné a samodetekující kódy pokud posíláme po nespolehlivém kanálu, řešení zdvojení - samodetekující kód - nezjistíme ale co je správně, ztrojení - samoopravný - pravděpodobně opravíme podle dvou správných, Hammingův kód 4 bity zakódujeme pomocí 7 kódů, vypočítá se “syndrom” - zjistí chybu v konkrétním bitu, Kompilátor v kódu má dostatek redundance na to, aby vydedukoval co jsme chtěli udělat, navlékáme kód na syntaxi, pokud je kód složitý a není tam dostatek redundance, tak není možné zjistit kde je chyba - například Java Streamy, Explicitní tvrzení o skutečnosti jsou redundantní pravdivé tvrzení může sloužit jako kontrolní redundance, V programování -Curry-Howardova korespondence datový typ odpovídá logicky dokazovanému tvrzení a program je jeho důkaz, Redundance v programovacím jazyce je tradeoff, je třeba vyměnit výhody na nevýhody Fri, 09 Oct 2026 12:41:58 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://vhsky.cz https://vhsky.cz/lazy-static/avatars/e319b3c0-bb42-4b1e-88a4-7701f496a470.png https://vhsky.cz/videos/watch/b1ac77a9-85ea-4eac-8feb-abc7dd6f2204 All rights reserved, unless otherwise specified in the terms specified at https://vhsky.cz/about and potential licenses granted by each content's rightholder.