Co sa mna tyka skuska bola totalna pohoda- nic sa ma nepital ani na priklad, ani chvalabohu na dokaz, iba som mu vyrecitoval teoriju (aj ked bez papiera- takze tym som si ziskal jeho simpatie
), len mi povedal ze su tam nejake drobne chybicky, ze ci mi staci B-cko... Neprotestoval som 
Co sa tika otazok mal som:
T: Druhy entit v akcnej semantike, definovat akcie, ake vysledky akcie pozname, a ake druhy informacii akcie mozu spracovat a popisat jednotlive druhy informacii
D: Dokazat korektnost implementacie pre prikaz while (v oboch smeroch)
P: Vytvorit syntax a semantiku jazika Hexadecimalnych cisel


Co sa tika otazok mal som:
T: Druhy entit v akcnej semantike, definovat akcie, ake vysledky akcie pozname, a ake druhy informacii akcie mozu spracovat a popisat jednotlive druhy informacii
D: Dokazat korektnost implementacie pre prikaz while (v oboch smeroch)
P: Vytvorit syntax a semantiku jazika Hexadecimalnych cisel