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 :-)

,
bo nejako neviem... bn
Neda sa tam stiahnut nejaky plug-in pre C# ?
Asi som nainstaloval dajaku blbu verziu,pls poslite mi link,ktory doxygen je zarucene ok.
