TIN065 Prehľad

Prednášky z Vyčísliteľnosti II
Obsah
Prehľad Prvá prednáška Druhá prednáška Tretia prednáška Štvrtá prednáška Piata prednáška Šiesta prednáška Siedma prednáška Ôsma prednáška Deviata prednáška Desiata prednáška Jedenásta prednáška Dvanásta prednáška Zhrnutie na skúšku

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

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.