Sémantika programovacích jazykov

[ApokalypS]

kOsTi, sak ty si to este tiez nevidel..
a mne sa do toho tiez este nechce, no bolo by nacase zacat

[kOsTi]

na to si ako dosiel?

[ApokalypS]

domnienkou ako inak

[kOsTi]

potom ti to nejde

[ApokalypS]

potom ti to nejde

neveriim ale co sa ucis?

[kOsTi]

spj

[ApokalypS]

ale ba pytal som sa, ze co konkretne

[danielmi]

no jak,ready na zajtra? ja som sa zacal prave ucit... :-D

[maTo]

az na 8,9 to je simple

[pepco]

prekladove funkcie pre AM predpokladam ze neboli na tahaku, ci?

[Corse]

boli

[kOsTi]

tipoval by som ze vsetky vzorce oznacene nejakym cislom (pismenom) su na tahaku, alebo nie? :/

[pepco]

boli

isto? bo sa mi nechce verit, take pravidla pre AM pochopim ved mali pisane cisla v (1am) ale ked su aj prekladove tak AM su total easy...

[pepco]

tipoval by som ze vsetky vzorce oznacene nejakym cislom (pismenom) su na tahaku, alebo nie? :/

to hej, ale prekladove funkcie cisla nemaju

[lada]

az na 8,9 to je simple

no simple by som nepovedal, ale je to zvladnutelne

[JCube]

vsetko je na tahaku

[zuzanka]

AM bolo na tahaku, ja som to pouzila v priklade na preklad do AM....

[JCube]

meh..drzim palce

[kOsTi]

nemam z toho dobry pocit, no uvidime

[JCube]

to ze nemas dobry pocit je dobre..ja mam dobry pocit ako minule a bolo z toho Fx

[kOsTi]

mno dnes sa dalo celkom, nikto sa velmi nestazoval aspon co viem...

T: Definovat semantiku bool a exp vyrazov JPJ
P: Napisat dynamicku naturalnu semantiku pre program (boli tam dva bloky vnorene s deklaraciami premennych)
D: Dokazat korektnost implementacie na abstraktnom stroji pre priradovaci prikaz a skip

[ApokalypS]

ale ty si nepovedal, ze mas dneska skusku..
preto som sa domnieval, ze sa este neucis a preto ja mam este cas, dufam

[Matolator]

vydalo na B

T: Definovat NS prikazov JPJ a vysvetlit
D: Dokazat pre postupnost a priradenie, ci ekvivalentne NS OS
P: case x of e1:S1;e2:S2 else S3 NS OS DS

[Pribina]

U mna :

T: Nepriama denotacna semantika + zakl. pojmy.
P: Rozsirenie JPJ (Syntax aj semantika) o nasledovnika prirodzeneho cisla, Fib(n) - nty clen Fibbonachiho postupnosti a o nonekvivalenciu bool. vyrazov.
D: Korektnost implementacie komutativnosti a asociativnosti nasobenia vyrazov pomocou AM.

Skuska uplna pohoda.

[pepco]

moja:

T: Akcna semantika, fazety, atd...
D: Ekvivalencia prikazov priradenia a podmienky pre NS a SOS
P: Odvodzovaci strom v SOS pre taky priklad ze boli v podstate sekvencia S1(priradovaci prikaz), S2(cyklus while), S3(priradovaci prikaz)

pohoda... GL vsetkym