Intro

TRIAL theory obsahuje úplný seznam definic, vět a lemmat, které zazněly na přednášce.
Vše co chcete vědět o TRIALu theory naleznete  ZDE .

Definice a věty jsou zde proto, že při řešení některých příkladů je nutné znát jejich přesné znění.
I drobná odchylka totiž může vést ke špatné interpretaci.
A to je právě ten okamžik, kdy je TRIALtheory rychle po ruce ;)

Kromě toho, právě odtud pochází většina slidesů z přednášek a tzv. TRIALslidesy jsou generované doslova online právě odtud. Zde, ale kromě defnic a vět, naleznete i řadu doplňujících a vševysvětlujích komentářů, které samozřejmě v různých mutacích zazněly, leč se třeba v danou chvíli nezdály tak podstatné ;)