Sémantika programovacích jazykov

[les paul]

nahodou oficialny tahak nie je niekde zverejneny?

[letolto]

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

[johnyo13]

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...

[SirMephisto]

Priklad1: zaviest pravidla pre prikaz"for x:=e1 to e2 do S" pre NS,OS a DS
Priklad2: repeat S until b  -urobte ns os ds
mohol by niekto nacrtnut co s tym?

pr1 prepises na x:=e1;while(x<=e2)do(S;x:=x+1)
pr2 prepises na S;while(neg b) do S
v tomto tvare to uz snad vies prepisat do ns os a ds

[kov]

pozeram ze nepadli ani otazky zo statickej/nepriamej semantiky, ci?

[DeNaTuReMaN]

Ja som mal teoriu nepriamu semantiku.

[kov]

<>

[letolto]

Dnesna skuska (2.6):
- hned na zaciatku Slodicak povedal, ze budu skusat inym systemom -> naraz iba 5 boli v miestnosti na spj a 5 na log.inf, ostatni cakali vonku
- nemuseli sme mat pripravu
- Slodicak za radom vytahoval otazky

T - syntax a sem. abstr. stroja
D - korrektonost impl. cyklu v abs. stroji
P - Denotacia prikazu if (?dajaka podmienka?) then (x:=?,y:=?,z:=?) else skip pre s0= [x=?,y=?,z=?]
   - samozrejme namiesto ? boli nejake premenne

Siel som ako prvy, bez pripravy, k prof. Novitzkej. K teorii som jej povedal svoje. Nepytala sa ma nic extra.  P a D - chcela vediet akym postupom by som ich riesil. Z toho ako som reagoval videla, ci rozumiem tematike alebo nie. Na papieri som mozno mal 3 - 4 vztahy.
Skusku som spravil. Koniec skuskoveho 

[ApokalypS]

takze su naraz terminy zo SPJ a LPI?

[trek]

jj naraz...tak to bolo a jdoteraz

[Viper_No1]

Dnesna skuska (2.6):
- hned na zaciatku Slodicak povedal, ze budu skusat inym systemom -> naraz iba 5 boli v miestnosti na spj a 5 na log.inf, ostatni cakali vonku
- nemuseli sme mat pripravu
- Slodicak za radom vytahoval otazky

T - syntax a sem. abstr. stroja
D - korrektonost impl. cyklu v abs. stroji
P - Denotacia prikazu if (?dajaka podmienka?) then (x:=?,y:=?,z:=?) else skip pre s0= [x=?,y=?,z=?]
  - samozrejme namiesto ? boli nejake premenne

Siel som ako prvy, bez pripravy, k prof. Novitzkej. K teorii som jej povedal svoje. Nepytala sa ma nic extra.  P a D - chcela vediet akym postupom by som ich riesil. Z toho ako som reagoval videla, ci rozumiem tematike alebo nie. Na papieri som mozno mal 3 - 4 vztahy.
Skusku som spravil. Koniec skuskoveho  

To akoze zobral piatich rozdal otakzy a jeden isiel odpovedat a ostatni pripravu?? Ci daval otazky az ked niekto prisiel k nemu??
A priklad a dokaz si riesil tam rovno pred nim ci ako?

[ApokalypS]

vies mi to potvrdit aj na dalsie terminy, please.. ja si to nemam ako overit, nemam LPI
neviem sice, aky to bude mat zmysel, ale neva

[Killian]

P: Definovat syntax a semantiku desiatkovej sustavy, kladne a zaporne cisla
D: Dokazat korektnost implementacie na AM - priradenie a skip (operacna semantika)
Teoria: Bloky, procedury, volania, deklaracia, (staticka, dynamicka...)

Pohoda. Bol som pri Slodicakovi. Ku teorii som az tak vela nevedel, ale to co som povedal mu stacilo. Znamka B.

[ppt]

P: Vypocitaj denotaciu pre x:=z;z:=y;y:=x; s0=[z->1;y->6] (nepamatam presne cisla) a vysledok overit na abstraktnom stroji.
D: Dokazat korektnost pre b1^b1, e1<=e2 a pre true
T: Nepriama denotacna semantika - popisat princip

[JCube]

ta co? funkcional uz nebol?

[SirMephisto]

T:Zakladne pojmy strukturalnej operacnej semantiky
D:Dokazte ze naturalna semantika JPJ je deterministicka
P:Jednoduchy while prepisat do instrukcii abstraktneho stroja a urcit vysledny stav vykonavania

[letolto]

Dnesna skuska (2.6):
- hned na zaciatku Slodicak povedal, ze budu skusat inym systemom -> naraz iba 5 boli v miestnosti na spj a 5 na log.inf, ostatni cakali vonku
- nemuseli sme mat pripravu
- Slodicak za radom vytahoval otazky

T - syntax a sem. abstr. stroja
D - korrektonost impl. cyklu v abs. stroji
P - Denotacia prikazu if (?dajaka podmienka?) then (x:=?,y:=?,z:=?) else skip pre s0= [x=?,y=?,z=?]
  - samozrejme namiesto ? boli nejake premenne

Siel som ako prvy, bez pripravy, k prof. Novitzkej. K teorii som jej povedal svoje. Nepytala sa ma nic extra.  P a D - chcela vediet akym postupom by som ich riesil. Z toho ako som reagoval videla, ci rozumiem tematike alebo nie. Na papieri som mozno mal 3 - 4 vztahy.
Skusku som spravil. Koniec skuskoveho  

To akoze zobral piatich rozdal otakzy a jeden isiel odpovedat a ostatni pripravu?? Ci daval otazky az ked niekto prisiel k nemu??
A priklad a dokaz si riesil tam rovno pred nim ci ako?

jj, presne tak ako pises. Siel som ako prvy, neviem ako mali dalsi. Ked som vysiel z miestnosti tak som mal poslat dalsieho na SPJ skusku.
Priklad a dokaz som riesil pred NOU. Mal som stastie, siel som na skusku k prof. Novitzkej.

[ppt]

ta co? funkcional uz nebol?

Typek predomnou mal

[ApokalypS]

jcube, mozes byt pokojny

[JCube]

cool..som myslel ze budem najebany

[cepi]

P: urcite volne viazane FV premenne
T: jazyk definicia + vysvetlit pojmy
D: ekvivalencia cyklu v OS a na AM

bolo uplne vpohode az na to cakanie
So Slodicakom sa dalo normalne vykecat a Lalova pomahala aj s prikladmi

[hujer]

P: Euklidov algoritmus pre vypocet najvacsieho spolocneho delitela cisel x a y.
T: Semantika aritmetickych a boolovskych vyrazov v JPJ.
D: Dokazte korektnost implementacie aritmetickych vyrazov na abstraktnom stroji.

easy

[ApokalypS]

..
bolo uplne vpohode az na to cakanie
..

myslim, ze to je na kazdej skuske.. neviem, co tym chcu docielit

[kOsTi]

no co uz ste vsetko nauceni? aku taktiku volite?

[Gover]

ja volim taktiku ze sa tu nezabijem(aj ked nemam k tomu daleko), ked mam este opravne terminy...