{{TIN065 Prednášky}} 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

ParseError: KaTeX parse error: Undefined control sequence: \[ at position 1: \̲[̲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.