Author Topic: Sémantika programovacích jazykov (Read 55769 times)

ApokalypS · « **Reply #225 on:** 08.06.2010, 19:41:43 »

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

kOsTi · « **Reply #226 on:** 08.06.2010, 20:11:29 »

na to si ako dosiel?

ApokalypS · « **Reply #227 on:** 08.06.2010, 20:12:24 »

domnienkou

ako inak

kOsTi · « **Reply #228 on:** 08.06.2010, 20:21:43 »

potom ti to nejde

ApokalypS · « **Reply #229 on:** 08.06.2010, 21:27:57 »

Quote from: kOsTi on 08.06.2010, 20:21:43

potom ti to nejde

neveriim

ale co sa ucis?

kOsTi · « **Reply #230 on:** 08.06.2010, 21:35:45 »

ApokalypS · « **Reply #231 on:** 08.06.2010, 21:53:40 »

ale ba

pytal som sa, ze co konkretne

danielmi · « **Reply #232 on:** 08.06.2010, 22:01:14 »

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

maTo · « **Reply #233 on:** 09.06.2010, 01:12:00 »

az na 8,9 to je simple

pepco · « **Reply #234 on:** 09.06.2010, 01:14:10 »

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

Corse · « **Reply #235 on:** 09.06.2010, 01:15:07 »

kOsTi · « **Reply #236 on:** 09.06.2010, 01:16:14 »

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

pepco · « **Reply #237 on:** 09.06.2010, 01:18:17 »

Quote from: Corse on 09.06.2010, 01:15:07

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 · « **Reply #238 on:** 09.06.2010, 01:19:34 »

Quote from: kOsTi on 09.06.2010, 01:16:14

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

to hej, ale prekladove funkcie cisla nemaju

lada · « **Reply #239 on:** 09.06.2010, 02:04:42 »

Quote from: maTo on 09.06.2010, 01:12:00

az na 8,9 to je simple

no simple by som nepovedal, ale je to zvladnutelne

JCube · « **Reply #240 on:** 09.06.2010, 03:00:52 »

vsetko je na tahaku

zuzanka · « **Reply #241 on:** 09.06.2010, 06:23:42 »

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

JCube · « **Reply #242 on:** 09.06.2010, 12:42:54 »

meh..drzim palce

kOsTi · « **Reply #243 on:** 09.06.2010, 13:07:31 »

nemam z toho dobry pocit, no uvidime

JCube · « **Reply #244 on:** 09.06.2010, 13:40:07 »

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

kOsTi · « **Reply #245 on:** 09.06.2010, 18:09:16 »

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 · « **Reply #246 on:** 09.06.2010, 18:13:49 »

ale ty si nepovedal, ze mas dneska skusku..

preto som sa domnieval, ze sa este neucis a preto ja mam este cas, dufam

Matolator · « **Reply #247 on:** 09.06.2010, 18:19:40 »

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 · « **Reply #248 on:** 09.06.2010, 18:44:04 »

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 · « **Reply #249 on:** 09.06.2010, 19:14:22 »

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

News:

Author Topic: Sémantika programovacích jazykov (Read 55769 times)

pepco

pepco

pepco

pepco