SPJ - Sémantika programovacích jazykov

[ivo261as]

T: základné vlastnosti štrukturálnej operačnej sémantiky, popísať odvodzovacie pravidlá
P: denotácia príkazu if v tvare: if(podmienka)then prikaz else if (podmienka) then skip else prikaz; (prikaz a podmienka boli reálne podmienky a priraďovacie príkazy)
D: postupnosť príkazov v NS a OS

[nezabudka88]

T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s      S2=if...(while),s      dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod

[Leonidas]

Nechce si niekto vymenit termin z 8. na 1.? cize odhlasit sa z 8.6 a prihlasit na 1.6? ....PM

[radix]

ved chod bez prihlasenia...

[jardo]

ved chod bez prihlasenia...

da sa?

[plexisklo]

spytas sa na mieste a uvidis,vela skusajucich ti to povoli

[skolacik]

rovnako u mna, nechce ist niekto na termin o tyzden skor 1. rad vymenim za 8.

[bubo]

Ako bolo dnes na SPJ? 

[domino3d]

Ako bolo dnes na SPJ? 

teplo


PS: a dusno, a nikomu sa nechcelo ist na ustnu cast

[domino3d]

ved chod bez prihlasenia...

da sa?

da, dnes som tak bol.

[bubo]

a ako dlho sa caka na ustnu? idu podla mien alebo mozem prist az okolo obeda?

[navarro]

Ako bolo dnes na SPJ? 

teplo


PS: a dusno, a nikomu sa nechcelo ist na ustnu cast

hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D

[jardo]

Ako bolo dnes na SPJ? 

teplo


PS: a dusno, a nikomu sa nechcelo ist na ustnu cast

hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D

a pri tom novitzka viac pomoze pri ustnej, a nepozera az tak na detaily jak slodicak

[navarro]

Ako bolo dnes na SPJ? 

teplo


PS: a dusno, a nikomu sa nechcelo ist na ustnu cast

hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D

a pri tom novitzka viac pomoze pri ustnej, a nepozera az tak na detaily jak slodicak

nemal som dnes taky pocit

[domino3d]

Ako bolo dnes na SPJ? 

teplo


PS: a dusno, a nikomu sa nechcelo ist na ustnu cast

hehe no hej som si vsimol ze kazdy len cakal kym sa slodicak uvolni bo nikto nechcel ist k novitzkej :-D

a pri tom novitzka viac pomoze pri ustnej, a nepozera az tak na detaily jak slodicak

nemal som dnes taky pocit

popravde som cakal na macka, len ked som videl ze slodicak vybavi 2-3 pokial macik jedneho...

[domino3d]

a ako dlho sa caka na ustnu? idu podla mien alebo mozem prist az okolo obeda?

mozes kedy chces ist dnu a kedy chces na ustnu, podla toho jak sa citis, ja okolo 12 som isiel het, dnu som sedel 2 hodiny z toho pol pisal
a ludia mali tahaky jak som videl, dokonca aj ujo videl ale ta mf

[scream]

Novitzka uplne v pohode... prijemne sme si pokecali, vedel som velmi malo ....Bcko

[markus]

plati take ze potrebujes nadpolovicnu vacsinu zo vsetkeho?

[scream]

hlupost... aj ked ku kazdej otazke (priklad mozno nie) by sa patrilo aspon ten uplny zaklad v podobe 2-3 viet prehodit... ale ziadne salene definicie.

[jardo]

no som si presiel prednasky a nasiel som tam tieto dokazy

pr3- dokaz, ze prikaz while je semanticky ekvivalentny s prikazom if
pr4- dokaz ekvivalencie naturalnej a strukt operacnej semantiky
pr6- dokaz korektnosti abstraktnej implementacie (pre jednotlive prikazy)
pr8- dokaz ekvivalencie denotacnej a operacnej semantiky

vie mi niekot povedat ktore treba a ktore nie, resp. ktore som este prehliadol?

[domino3d]

no som si presiel prednasky a nasiel som tam tieto dokazy

pr3- dokaz, ze prikaz while je semanticky ekvivalentny s prikazom if
pr4- dokaz ekvivalencie naturalnej a strukt operacnej semantiky
pr6- dokaz korektnosti abstraktnej implementacie (pre jednotlive prikazy)
pr8- dokaz ekvivalencie denotacnej a operacnej semantiky

vie mi niekot povedat ktore treba a ktore nie, resp. ktore som este prehliadol?

ja som sa ucil tieto, ale zda sa mi ze ste su neeake

D dokazat ekvivalenciu prikaziv IF b then (S ;While b do S) else skip a while b do S v naturalnej   3/20
D: Dokazat pre postupnost a priradenie, ci ekvivalentne NS OS       4/16,17,18...
D: Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM. 6/27
D: korektnost podm. prikazu, cize Sos[|if b then S1 else S2|] pomocou AM                 6/31

[drtic]

Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------
Co nie je oznacene hrubym pismom netreba na skusku.

Ak som nieco vynechal, mozte ma doplnit.

[markus]

ja som pocul zevraj len z prvych styroch predn asok nechapem preco proste nemozu vyvesit zoznam vsetkych otazok dakde na net

[domino3d]

ja som pocul zevraj len z prvych styroch predn asok nechapem preco proste nemozu vyvesit zoznam vsetkych otazok dakde na net

jedna pani povedala? tak sa uc prve 4

[sandusky]

ja som pocul zevraj len z prvych styroch predn asok nechapem preco proste nemozu vyvesit zoznam vsetkych otazok dakde na net

a nemas to jedno? aj tak sa pytaju, co ich napadne ...