SPJ - Sémantika programovacích jazykov

[domino3d]

39/40! Yeah!

kocka

[plexisklo]

39/40! Yeah!

38 

[domino3d]

39/40! Yeah!

38 

trojuholnik

[scream]

...na opravak poprosim este daco tazsie... a viac prikladov ked sa da... idealne daco co sme na cviku ani nemali...

[jim-beam33]

ktore veci urcite NEBUDU na predtermine?

[kilomassa]

kto este chodi na forum a bol dnes na predtermine mohol by sa podelit ako to vyzeralo a co bolo

[ivo261as]

Kamoš bol na predtermíne:
- ťahal si teoretickú otázku, príklad, dôkaz
- teória - toky riadenia a informácií
- príklad na denotačnú sémantiku, nejaký priraďovací príkaz a while
- dôkaz - if v op. štr. sémantike vs. naturálna

stačilo ku každému niečo povedať, do prípravy sa Slodičák veľmi nepozeral, stačilo hovoriť k veci
Výsledok: 60b

[ivo261as]

robil sa na prednáške dôkaz na determinizmus jednoduchého programovacieho jazyka? Prednáška 3 slajd 25. Na prednáške som nebol a tam je dôkaz iba jednou vetou...

[elvolcanoik]

niekto kto xce ist 18.5. ?? ... vymenim termin ... PM

[Havran]

WTF to si robia srandu ze dalsi termin po 8.6 je az 22

[sandusky]

WTF to si robia srandu ze dalsi termin po 8.6 je az 22

podla vsetkeho tam su bc. statnice (14. a 15.), tak asi preto, neviem ...

[jardo]

niekto kto xce ist 18.5. ?? ... vymenim termin ... PM

sak sa odhlas a niekto sa uz nahlasi

[nezabudka88]

Moze niekto napisat ktore vsetky dokazy je treba vediet, z ktorych prednasok? Dakujem.

[jim-beam33]

Moze sa na skuske vyskytnu priklad na AKCNU sematniku alebo moze byt teoria z Algebraickej semantiky??

[ivo261as]

Príklad na akčnú nebude a algebraická sémantika bola na prednáške takže asi môže byť otázka aj z toho...

[jardo]

Moze niekto napisat ktore vsetky dokazy je treba vediet, z ktorych prednasok? Dakujem.

pripajam sa k prosbe

[Matejus]

Dôkazy stačí vedieť tie ktoré sú v prvých 4 prednášok.
Otázky z teórie sú od prvého slajdu prvej prednášky až po posledný slajd poslednej prednášky.
Príklady sú nejako okresané, tuším že z akčnej sémantiky nie je príklad, z nepriamej denotačnej nie je (len tie skupiny, ktoré to nepočítali na cvikach) a ani z algebraickej nie je, tak sa mi marí.

[drtic]

V 6.prednaske su dokazy Korektnost abstraktnej implementacie,
treba vediet:
- pre artimeticke vyrazy JPJ
- pre boolovske vyrazy JPJ
netreba vediet:
- pre prikazy JPJ

V 8. prednaske je este dokaz Ekvivalencia denotacnej a operacnej semantiky ale tento netreba vediet.

[ivo261as]

Nemôže niekto pls naskenovať príklad čo sa robil na statickú sémantiku? je tam taká tabuľka s pamäťou, prostredia premenných atď

[kilomassa]

taka otazka ...dostanem dokaz a teraz musim pisat vsetko z prednasky? alebo staci ak sa z toho vykecam nejak? trosku nwm co presne tam treba pisat ci uplne vsetko abo co myslite?

[drtic]

Staci si to napisat v zachytnych bodoch a vysvetlis pri odpovedi.

[ivo261as]

http://vlkodlak2.ic.cz/AAAAAAAAAAAAAAAAA/?mod=1 je tam čosi popísané o akčnej a naturálnej sémantike

[ownz]

18.5 skuska v pohode, prof.Novitzka trošku nahnevaná ale veľmi príjemna
T: VLASTNOSTI NS
P: Spravit graf danych fcii
D: Strukturalna I. pre postupnost prikazov

Cudoval by som sa keby dneska niekto nedal

[kilomassa]

T denotacia cyklu while
P case
D ak if(while) potom while

[Achilus13]

dnes neurobil myslím že len jeden a skúšali už aj macko a ľaľová ale najlepší bol Slodičák!!!!! D(67)