Sémantika programovacích jazykov

[ApokalypS]

ze skusa iba slodicak?

[pepco]

ze skusa iba slodicak?

no na zaciatku sa kvazi este dalo vybrat, ked Novitzka este nemala koho skusat z Logiky, ale kedze prisla o nieco neskor ako Slodicak, tak zase az tolko priestoru nebolo... ale tipujem ze aj na konci uz aj ona skusala SPJ, kedze z Logiky je menej ludi ako na SPJ

[ApokalypS]

a ucit sa staci cisto z prednasok?

[JCube]

elementarna fazeta, akcie atd
dynamicka naturalna pre dva vnorene bloky
dokazat ekvivalenciu prikaziv IF b then (S ;While b do S) else skip a while b do S v naturalnej

pohoda jahoda..jahoda lesna

[kOsTi]

a ucit sa staci cisto z prednasok?

jj + nejake priklady z cvik tiez neuskodia

[maTo]

P: rozsirit syntax o b₁=b₂, b₁=>b₂, e₁>e₂
T: typy vykonavania akcii, definovat zberace, typy udajov v akcnej semantike = proste dajake haluze z akcnej
D: korektnost podm. prikazu, cize S_os[|if b then S₁ else S₂|] pomocou AM

[ApokalypS]

to ôsmu prednasku preto nik nechape, lebo uz neni je od novitzkej, ale od slodicaka?

[JCube]

dneska siel taky hoax ze vraj nebude ten dokaz ekvivalencie SOS a DS..

[kOsTi]

s odvolanim na toto

neviete nahodou ci na predoslych terminoch mali aj dokaz vztahu denotacnej a operacnej sem.? dakujem

neviem ci bol, ale ja mam v zosite napisane, ze tento dokaz nebude, takze to asi hovoril na cviku...

[ApokalypS]

a niesu niekde nejake otazky, priklady, dokazy ucelene? nemate niekto niekde spisane vsetky?

[ppt]

Ja mam, ale len malilinku cast. Mozem hodit na ftp ale az vecer ked budem doma. Ono v podstate teoreticke otazky su nazvy prednasok

[JCube]

s odvolanim na toto

neviete nahodou ci na predoslych terminoch mali aj dokaz vztahu denotacnej a operacnej sem.? dakujem

neviem ci bol, ale ja mam v zosite napisane, ze tento dokaz nebude, takze to asi hovoril na cviku...

pice to vediet skor respektive na to nezabudnut :/

[McLarenPP]

a niesu niekde nejake otazky, priklady, dokazy ucelene? nemate niekto niekde spisane vsetky?

http://leteckaposta.cz/518358148

su to vsetky otazky, ktore sa niekedy vyskytli na fore, vratane par dnesnych.

[ApokalypS]

thanks

[roman5555]

mate niekto nejaky tahacik ? co by pomohol ?

[ApokalypS]

vraj tahaky nemame pouzivat, okrem toho oficialneho samozrejme, tie nase nestoja za nic su nepresne a podobne

[Sooloni]

Dokaz vztahu denotacnej a SOS nebude vobec? myslim strany 27-41 v 8 prednaske?

[JCube]

ne

[kOsTi]

vcetci dostanete funkcional mwhahaha!

[dungeo]

nenajde sa nejaka dobra dusa z tych, co uz maju skusku za sebou, co ma vytlacene tie prednasky a bola by ochotna poskytnut mi ich? thanxalot

[ApokalypS]

decka, ak je otazka napriklad, ze elementarna fazeta a je k tomu iba jeden slide, tak to staci?
ku kazdej otazke, dokazu je priblizne jeden slide, to by malo byt dost, nie?

nenajde sa nejaka dobra dusa z tych, co uz maju skusku za sebou, co ma vytlacene tie prednasky a bola by ochotna poskytnut mi ich? thanxalot

ak zajtra spravim, rad posuniem prednasky od Eminky dalej.. teda, ak nejdes na ten isty termin

[JCube]

staci

[ApokalypS]

thanks, idem dalej ucit :/

[Viper_No1]

nemate niekto vyriesene tie priklady co boli doteraz?

[JCube]

hod sem vyriesime