Sémantika programovacích jazykov

[Ing. nemtom]

Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;

nechce sa toto dakomu zverejnit jak to na vypadat?

[LM]

nemton:
naturalna:
pre B[] = tt

<S;s>->s` <c1:=c1+1, s`> -> s`` <for c1 to c2 do S, s``> -> s```
______________________
<for c1 to c2 do S,s> -> s```

b:= c1<=c2

pre B[] = ff pises ze sa nevykona nic z cyklu

pre strutruralnu pises:
<for c1 to c2 do S, s> => <if B[] then S;c1:=c1+1;for... else skip, s>

pre denotacnu pises:
<for c1 to C2 do S> = fix F
F g = cond(B[], S ° c1:=c1+1 ° g, id)


myslim ze takto by to malo byt. 

[LM]

sakra, znacky pre bolt to cuca

[psicho]

to na skuske moze byt aj taky priklad ze denotacna semantika pre program kdesu procedury ?

[carin]

Ja akurat tolko viem, ze nebudu priklady na staticku semantiku...
A ja niiiiic neviem  nic

[Ing. nemtom]

ja viem spravit syntax a semantiku pre osmickove|hocijake cisla cool

[carin]

to je supeeer 
a dalsich 99 percent tiez ovladas?

[Ing. nemtom]

daco hej daco ne, snad dajak vykecam

[bliky]

no jak dneska? jaka percentualna uspesnost?

[carin]

dobre dobre... i ked pri novitzej je priemer A a pri slodicakovi C 
ale inak fajn...

BTW: kto by chcel ist na skusku 4.juna, nech sa ozve.... uvolnim miesto 

[psicho]

ale brutalne zalezi od toho slodicak aku ma stastnu ruku

[Ing. nemtom]

novitzka rulez, neni ocom, neni ocom, respekt...

[Ing. nemtom]

dostal som otazku "C alebo pridete nabuduce?" odpoved je snad kazdemu jasna

[Ing. nemtom]

d

[psicho]

dostal som otazku "C alebo pridete nabuduce?" odpoved je snad kazdemu jasna

nj, takze kedy ides nabuduce opravit na A ?

[MKI]

akoze akoze ako tie deifnicie (fixne body) slodicakove v denotacnej smentike a tie dokazy porovnanie denotacnej a opracnej smentikyy

treba vediet ?

[MKI]

a tiez ci treba staticku a abastraktny stroj vediet

[Ing. nemtom]

cim vac viiiiiiiis, tym lepsie, viiiiiiiiiis?

[LM]

joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom

hehe, este aj novitzka sa so mna smiala

[Mar0sh]

to si urobil naschval, aby si mal A-cko, vsak?

[Ing. nemtom]

joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom

hehe, este aj novitzka sa so mna smiala

nic pravdy, tam som bol, nic sa z toho nestalo, sama loz a podvod, novitzka sa smiala namna lebo som nanu zmurkol

[LM]

to si urobil naschval, aby si mal A-cko, vsak?

citim sa pred tebou ako vyzleceny zo siat

[LM]

joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom

hehe, este aj novitzka sa so mna smiala

nic pravdy, tam som bol, nic sa z toho nestalo, sama loz a podvod, novitzka sa smiala namna lebo som nanu zmurkol

vedeli sme o tebe ze si divny a teraz uz aj vieme rpeco

[MKI]

este by ste mohli popisat ake boli priklady

robil niekto ja neoficialny tahak ?

[Ing. nemtom]

na kkt ti tahak, ajtak ta preskusaju ustne, inak malo par ludi vytlacene prezentacie