FEI archív 2010/2011 > 4. ročník

SPJ - Sémantika programovacích jazykov

<< < (39/39)

domino3d:

--- Quote from: t0Mi on  22.06.2011, 19:37:03 ---
--- Quote from: Havran on  22.06.2011, 19:29:37 ---D: dokaz pre while v smere z Operacnej -> Naturalnej semantiky
P: zrobte denotaciu prikazu while ¬(x=3) then x:=x+1
T: definicia funkcie, vlastnosti fcie a graf funkcie pri pouziti v denotacnej semantike prikazu while

--- End quote ---
takto...

--- End quote ---
jj, este ze su tu ti spravny ludia :)

domino3d:
dufam ze dnes vsetciu spravili a maju prazdniny

sandusky:
aki boli dnes? ako skusali?

Havran:
Novitzska a Lalova skusali

a co ja viem, ja som bol u Novitzskej a velmi v pohode bolo, dobre na nej je, ze ked mas priklad, v podstate ho ani nemusis vyriesit, len jej musis vediet povedat ako sa ma riesit

plexisklo:
pri Lalovej uplne v pohode,ale zase som mal ku vsetkemu nieco :p otazky som mal z tych co tu uz su postnute

btw kto mi zmazl fffffffuuuuuuu obrazok? ma to umelecku hodnotu  :pusta:

Navigácia

[0] Index správ

[*] Predchádzajúca strana