TIN065 Prehľad
Z ωικι.matfyz.cz
Prednášky z Vyčísliteľnosti II |
Obsah |
---|
Toto je pokus o spísanie prednášok z predmetu Vyčíslitelnost II. Vznikol priebežne počas akademického roka 2008/2009 a kopíruje rozdelenie tém medzi jednotlivými prednáškami v tomto roku.
Značenie odlišné od prednášok[editovat | editovat zdroj]
Z technických dôvodov bolo v tejto Wiki pozmenené značenie oproti prednáške v niekoľkých prípadoch.
Pre binárne retiazky $ \alpha $ a $ \beta $ značenie $ \alpha \leq \beta $ znamená, že $ \alpha $ je prefixom $ \beta $. Na prednáškach bol používaný symbol známy v TeXu ako \preceq
, ktorý ale na tejto Wiki nefunguje.
T-stupne sú značené pomocou hranatých zátvoriek $ [a] $, pričom na prednáške boli označené vlnovkou pod písmenom. Opäť je dôvodom nemožnosť použiť takéto značenie na Wiki.