Dnesna skuska (2.6):
- hned na zaciatku Slodicak povedal, ze budu skusat inym systemom -> naraz iba 5 boli v miestnosti na spj a 5 na log.inf, ostatni cakali vonku
- nemuseli sme mat pripravu
- Slodicak za radom vytahoval otazky
T - syntax a sem. abstr. stroja
D - korrektonost impl. cyklu v abs. stroji
P - Denotacia prikazu if (?dajaka podmienka?) then (x:=?,y:=?,z:=?) else skip pre s0= [x=?,y=?,z=?]
- samozrejme namiesto ? boli nejake premenne
Siel som ako prvy, bez pripravy, k prof. Novitzkej. K teorii som jej povedal svoje. Nepytala sa ma nic extra. P a D - chcela vediet akym postupom by som ich riesil. Z toho ako som reagoval videla, ci rozumiem tematike alebo nie. Na papieri som mozno mal 3 - 4 vztahy.
Skusku som spravil. Koniec skuskoveho