Ja som mal :
Priklad: zaviest pravidla pre prikaz"for x:=e1 to e2 do S" pre NS,OS a DS
otazka: Denotacna semantika prikazu cyklu a vsetky pojmy s tym suvisiace
dokaz: ekvivalencia sekvencie a if v NS a OS
skuska v pohodicke zvladnuta :-)
Priklad: zaviest pravidla pre prikaz"for x:=e1 to e2 do S" pre NS,OS a DS
otazka: Denotacna semantika prikazu cyklu a vsetky pojmy s tym suvisiace
dokaz: ekvivalencia sekvencie a if v NS a OS
skuska v pohodicke zvladnuta :-)