Sémantika programovacích jazykov

[JCube]

fx nemal som priklad kde trebalo ratat funkcional..ostatne tip top

[ApokalypS]

cosi.. prve?

[provasik]

Co sa mna tyka skuska bola totalna pohoda- nic sa ma nepital ani na priklad, ani chvalabohu na dokaz, iba som mu vyrecitoval teoriju (aj ked bez papiera- takze tym som si ziskal jeho simpatie ), len mi povedal ze su tam nejake drobne chybicky, ze ci mi staci B-cko... Neprotestoval som

Co sa tika otazok mal som:

T: Druhy entit v akcnej semantike, definovat akcie, ake vysledky akcie pozname, a ake druhy informacii akcie mozu spracovat a popisat jednotlive druhy informacii

D: Dokazat korektnost implementacie pre prikaz while (v oboch smeroch)

P: Vytvorit syntax a semantiku jazika Hexadecimalnych cisel

[ONdro]

Ja som mal :
Priklad: zaviest pravidla pre prikaz"for x:=e1 to e2 do S" pre NS,OS a DS
otazka: Denotacna semantika prikazu cyklu a vsetky pojmy s tym suvisiace
dokaz: ekvivalencia sekvencie a if v NS a OS

skuska v pohodicke zvladnuta :-)

[pepco]

1. teoria: Denotacna semantika - definovat prikazy JPJ (okrem prikazu while) plus popisat pojmy.
2. dokaz: ekvivalencia medzi NS a OS pre prikazy postupnosti a cyklu.
3. priklad: Odvodzovaci strom pre dynamicku NS (taky priklad medzi begin end s deklaraciou var)

taksito u Slodicaka Fx, kdeze povedal ze treba mat zo vsetkeho aspon polku... priklad som nevedel, predomnou kvoli tomu vyhodil 2 ludi takto plus mna dalsieho... on sa v podstate s tym nehra, nemas priklad ani ti ostatne veci nepozrie, aj ked umna to zistil az na konci ked som mu vsetko predchadzajuce vysvetlil a bolo vsetko v poriadku... potom mu bolo luto ze ma kvoli prikladu musi poslat zopakovat... takze tak to

P.S.: otazky sme si netahali, vsetko nahodne vybral pan Slodicak

[ApokalypS]

takze uz ani na happy hand sa clovek spoliehat nemoze

[Corse]

ja som mal
priklad: repeat S until b             -urobte ns os ds
teoria: v skratke ... vysvetlite os
dokaz: dokazte ekvivalenciu ns os (priradenie, podmienka)

eno nuno prikladiky 

[puq]

tak to je cudne no...ze slodicak tahal ja som ho na predtermine popytal nech mi vytiahne ale nexcel ze nemoze ale nakoniec som mal happy hand

[K5]

Ja som nastastie vystihol Novitzku 

1. elementarna fazeta
2. euklidovym algoritmom vypocitat najvacsi spolocny delitel cisel 96 a 24 v operacnej semantike
3. dokazat korektnost implementacie v abstraktnom stroji z oper. sémantiky pre priradovaci prikaz a príkaz vetvenia Sos[]=Sam[]

[zuzanka]

T: denotacna semantika vyrazov, zakl. pojmy: semanticka funckia, sem. rovnice, pomocna fcia, sem. oblast
P: program prepisat do AM a vykonat : while neg(y=1) do (x:=y; y:=z; z:=x)   ///alebo tak nejak, nevim presne
D: ci je naturalna semantika JPJ deterministicka

[sikik]

Ja som mal priklad a dokaz taky isty ako zuzanka, len teoriu som mal definovat štrukturalnu operačnu semantiku + zakladne pojmy abo daco take.
Slodicakovi som zacal hapkat teoriu ale ked nevedel najst dokaz tak som mu ukazal tu jednu vetu, ze strukturalnou inddukciou na prikazy nat.sema-. ci co a som mu tam visvetlil, ze vlastne to treba dokazat len pre priradovaci prikaz atd som mu zacal vysvetlovat a potom priklad a potom sa uz k teorii ani nevratil, lebo tamto som mu vsetko krasne vysvetloval.
A tak sa opytal ze ako by som sa ohodnotil a ja ze B lebo urcite vsetko neviem a on ze aj on nad tym rozmyslal a tak sme sa dohodli na B

[Corse]

taky dotaz. co ste boli v stredu na skuske a ste zrobili, mate uz znamku v maise?

[Rainman9]

Zdravim , nehodil by sem niekto priklady z cvik , alebo nejake priklady co ste si ratali ku skuske ? Vrela vdaka 

[DeNaTuReMaN]

Uz v stredu poobede som mal zapisanu

[Michal102]

kto vie ako sa pocita funkcional a rad by sa o to s nami podelil?
Ď.

[hujer]

kto vie ako sa pocita funkcional a rad by sa o to s nami podelil?
Ď.

ja mam po 6 hodinach pozerania do prednasky c.8 pocit, ze uz chapem preco ten funkcional pouzivame ale na to ako ho vypocitat sa uz moj mozog nezmohol ale verim ze dalsich 6 hodin vyriesia aj tento problem

[ApokalypS]

esteze je do skusky tolko casu

[Killian]

Mohol by tu niekto napisat euklidov algoritmus v operacnej semantike?

[hujer]

Mohol by tu niekto napisat euklidov algoritmus v operacnej semantike?

s0[x->96, y->24]

P=
z:=0;
while(neg(x=y)) do
  if (x =< y) then y:=y-x else x:=x-y;
z:=x;

prepisat do OS uz nie je problem

[Killian]

Dakujeeeem  .

[ppt]

Ja som nastastie vystihol Novitzku 

1. elementarna fazeta
2. euklidovym algoritmom vypocitat najvacsi spolocny delitel cisel 96 a 24 v operacnej semantike
3. dokazat korektnost implementacie v abstraktnom stroji z oper. sémantiky pre priradovaci prikaz a príkaz vetvenia Sos[]=Sam[]

To ten euklidov algoritmus bol dufam dany? Alebo sa musim aj ten naucit?

[JCube]

nie to mas vediet

[ApokalypS]

super

[JCube]

davam na znamost ze mila teta novitzka zvysila pocet nestastnikov na skuske na cislo 35 z cisla 25. prehlasujte sa co to da!

[johnyo13]

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?

edit: uz som to nasiel v zosite