Sémantika programovacích jazykov

[Viper_No1]

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.

tu su niektore ... a ku tym co nie su premenne doplnene  aspon nejaky postup vseobecny

[kOsTi]

hod sem vyriesime

co sa uz nudis?

[trek]

napr by ste mohli napisat ako sa riesi rozsirenie pre Fib(n)...nty clen fibonaciho postupnosti ja viem ze to je sucet predchadzajuceho a pred predchadzajuceho clena len neviem ci to spravne zapisujem

[Dominico]

e := ... | fib(n)
E[fib(0)]_s=0   
E[fib(1)]_s=1   
E[fib(n)]_s= E[fib(n-2)]_s + E[fib(n-1)]_s

aspon podla mna by to tak mohlo byt
mna by skor zaujimalo toto
Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM.
Denotačná sémantika pre blok príkazov (medzi begin a end)
Definícia formálneho jazyka (abstraktná syntax a sémantika jazyka)
to fakt tam staci napisat tu jednu vetu?

[dungeo]

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

bohuzial idem coz ale neznamena, ze potom tie materialy uz nebudem potrebovat, takze si ich zatial rezervujem

[ApokalypS]

e := ... | fib(n)
E[fib(0)]_s=0   
E[fib(1)]_s=1   
E[fib(n)]_s= E[fib(n-2)]_s + E[fib(n-1)]_s

aspon podla mna by to tak mohlo byt
mna by skor zaujimalo toto
Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM.
Denotačná sémantika pre blok príkazov (medzi begin a end)
Definícia formálneho jazyka (abstraktná syntax a sémantika jazyka)
to fakt tam staci napisat tu jednu vetu?

2 Dominico: dik za Fibonaciho, a tych par viet tu pls mozes napisat?

[trek]

T: akcna semantika a veci okolo toho
D:  Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM.
P: repeat S until b    - urobte NS OS DS

[ApokalypS]

T ŠOS //pohoda, jahoda
D komutativnost scitania a nasobenia na abstraktnom stroji //easy
P NS, OS a DS pre for //staci previest na while a po pomoci od Ľaľovej som o uz vedel vyriesit

po vytiahnuti otazok a naslednej konzultacii s docentkou Novitzkou mi dala A92
Ľaľová sa snazi pomoct ako vie, neviem, aky je Slodicak, kedze som nebol pri nom na ustnej, ale Novitzká je skvela

[McLarenPP]

T: Definovat semantiku aritmetickych vyrazov JPJ
D: Korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM
P: Syntax a semantika kladnych a zapornych desiatkovych cisel

Lahsie to uz neslo, prva stovka v historii.

[Dominico]

T: Nepriama denotacna semantika
D: Korektnosť implementácie komutatívnosti a asociatívnosti scitania výrazov pomocou AM
P: case x of e1:S1;e2:S2 else S3 - pravidla pre NS, SOS, DS

[lada]

T: naturalna, setko k nej
D: podmienovaci prikaz v NS a AM
P: AM, cyklus while

otazka, k tym co sli neprihlaseny na skusku, uz mate zapisane znamky? ste sa pripomenuli ci ako? bo ja nemam ta som len zvedavy

[roman5555]

nema niekto spracovane tie dokazy a priklady ? dakujem

[ApokalypS]

dokazy - myslim, ze stvrta prednaska a siedma? uz to tu nemam, ale tak nejak to bolo
a priklady su takmer v kazdej prednaske napisane.. plus, na cvikach sa tiez toho ukazalo niekolko

[Viper_No1]

aky je rozdiel v prikladoch kde mam urobit odvodzovaci strom pre NS   a  zistit NS programu pripadne vyznam ??

[Viper_No1]

finito... pre tych co este neboli, dal som na forum, nejake riesene priklady

[kOsTi]

ftp myslis?

[ApokalypS]

to sa stane, ze je clovek z toho taky stastny, ze ani nevie, co pise

[Viper_No1]

    tak nejak

[valentino]

nejake nove otazky ? ci ?

[Viper_No1]

tie iste co stale... Da sa jedna otazka aj vymenit vacsinou, ked poprosis Lalovu

[roman5555]

ma este niekto nejaky tahacik na teoriu , dokazy a priklady ? prosim ak ma tak poskytnite , vopred dakujem

[DeViLvs]

ma este niekto nejaky tahacik na teoriu , dokazy a priklady ? prosim ak ma tak poskytnite , vopred dakujem

more, ty si este aj na svadbu zoberes tahacik

[Viper_No1]

ma este niekto nejaky tahacik na teoriu , dokazy a priklady ? prosim ak ma tak poskytnite , vopred dakujem

dal som na FTP prednasky vo worde (2007) ... ak si vymazes co nepotrebujes mas to ako tahak + su tam skoro vsetky dokazy ak si najdes .. gl

[sri]

joooj preco si to nedal skor? Ale nie, dik aj tak

[Viper_No1]

tak ved to mas v prednaskach.. len skpirujes a upravis to si spravi kazdy... robil som to siece dva dni, ale...