{{TIN065 Prednášky}}
Toto je pokus o spísanie prednášok z predmetu [Vyčíslitelnost II](Vyčíslitelnost%20II). 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.