Chce si niekto vymenit cviko zo stredy 7:30 na stvrtok 14:15 (po prednaske z MaGSA), ktore ma Ing. Mihályi?
Ponukam cviko vo stvrtok o 14:15.
Thanks.
ak sa ti chce vstavat v stredu rano, tak vymenu beriem :)
Quote from: ApokalypS on 23.02.2010, 17:22:24
ak sa ti chce vstavat v stredu rano, tak vymenu beriem :)
Vdaka :thumbs-up:, poslal som Ti sukromnu spravu.
niet zaco ;)
ake su meno/heslo na hornad? spj/semantika nefacha dajak
spj/Semantika
cawko nema tu niekto dobre materialy k denotacnej semantike ???
zdravim, chcem sa len utvrdit - skupina, co ma s Lalovou stvrtok vecer - zajtra mame normalne cviko, hej? bo daco som minule len tak na pol ucha zapocul, ze hovorila, ze to je s nou (pred)posledne cviko, lebo po sviatkoch uz pride ten Slodicak, ci ako sa vola - ide mi o to, ci hovorila predposledne alebo posledne, lebo to si uz vazne nepamatam...
jj malo by byt este teraz jedno s lalovou
hej ludia mam na vas prosbu... nemate niekde na nete skripta z tohto predmetu, pripadne nema ich niekto v kompe? vdaka pekne za odpoved :)
Z tohto predmetu myslim, ze ani skripta neboli... mame len prendnaskove slidy od prof. Novitzkej... Skus sa poinformovat u nej, dajaku literaturu na tuto temu urcite najde :)
http://kpi1.fei.tuke.sk/person/novitzka/kpicard.php (http://kpi1.fei.tuke.sk/person/novitzka/kpicard.php)
aj mne sa take cosi mari, len som to nechcel napisat
Quote from: FrozenX on 07.04.2010, 13:40:41
Z tohto predmetu myslim, ze ani skripta neboli... mame len prendnaskove slidy od prof. Novitzkej... Skus sa poinformovat u nej, dajaku literaturu na tuto temu urcite najde :)
http://kpi1.fei.tuke.sk/person/novitzka/kpicard.php (http://kpi1.fei.tuke.sk/person/novitzka/kpicard.php)
ok tak v tom prirade to nepotrebujem... vzhladom na to ze mam u nej bakalarku na tuto temu a mam uz aj jej skripta nejake :D som myslel ze budete mat nieco ine ale neva aj tak dik
streda 7:30 - Lalova nam slubila spravne vypocitany priklad z minuleho cvika, dnes som ho ja dostala do ruk, zajtra ho oskenujem a link zavesim tu tak si to potom poposielajte lebo nemam kontakt na vsetkych co tam chodia
to by chcelo aj spravne vypocitane priklady zo vsetkych ostatnych cvik :D
hlavne tie, ktore budu na pisomke :)
naskenovany priklad zo 7.tyzdna : http://stargate.cnl.tuke.sk/~tanka/SPJ/ (http://stargate.cnl.tuke.sk/~tanka/SPJ/)
poradte mi, ako mam chapat 2. prednasku - 23. slajd. Je to o FV množine (free variables) ale netusim co tym chcel basnik povedat.
btw ako tak pozeram otazky z minulych rokov, pisomka bude pomerne jednoducha, a body sa budu asi vo velkej miere strhavat za to, ze sa niekde nieco zabudlo podciarknut, ze plus nieje v kruzku, pripadne ze bola pouzita ina sipka...
je pravda ze na zapoctovke nebude staticka ani dynamicka semantika? dakujem za odpoved
Quote from: hujer on 11.04.2010, 22:05:03
je pravda ze na zapoctovke nebude staticka ani dynamicka semantika? dakujem za odpoved
ci to je alebo nieje pravda, to zistime na zapoctovke, no na poslednej prednaske to bolo niekolko krat zopakovane ze ani staticka ani dynamicka semantika nebude (cize ziadne bloky, lokalne a globalne premenne...)
Staticka ani dynamicka nebude. Otazky su ine ako v minulom roku.
Quote from: sandusky on 12.04.2010, 01:24:35
Staticka ani dynamicka nebude. Otazky su ine ako v minulom roku.
s kade vies ake budu otazky? :D
to ze nebude staticka, ani dynamicka nam povedal Mihalyi na cviku..
a ci budu tie iste ako minuly rok? to je otazne.. ale jedno vieme, teraz ich zostavoval vraj Slodicak a uz ich ma aj pripravene..
nema niekto vsetky cvika ?? oscanovane alebo tak nejako ?? hm?
po 5tu prednasku vratane ci ako to bolo neviete ? :))) nehovorim ze to idem citat len aby som mal prehlad :D
Quote from: Hunterko on 13.04.2010, 05:28:08
po 5tu prednasku vratane ci ako to bolo neviete ? :))) nehovorim ze to idem citat len aby som mal prehlad :D
nn, lebo nieco bude aj zo 6. a 7ej, takze takto to brat nemozes, kedze bol spominany aj abstraktny stroj
slodicak vravel ze bude presne toto:
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov
3.semantika cisel
4.vyhodnotit nejaky vyraz (algebraicky, bolovsky)
5.program - naturalna semantika
6.program - operacna semantika
7.program - abstraktny strom
nic viac, nic menej
nam diktoval mihalyi toto:
1 rozsirenie syntaxe aritmetickych vyrazov
2 rozsirenie syntaxe boolovskych vyrazov
3 semantika binarneho cisla
4 semantika vyrazov
5 naturalna semantika
6 strukturalna operacna semantika
7 derivacne stromy abstraktnej syntaxe
vraj to bude tak na 30-45 minut, takze asi nic tazke, ak tomu chapeme, co sa o mne povedat neda :(
este taka poznamka, ze na A4 bude nejaky ten oficialny tahak pre kazdeho..
Quote from: Casso on 12.04.2010, 22:34:02
Quote from: sandusky on 12.04.2010, 01:24:35
Staticka ani dynamicka nebude. Otazky su ine ako v minulom roku.
s kade vies ake budu otazky? :D
opytali sme sa po cviku :)
Quote from: trek on 13.04.2010, 16:29:35
slodicak vravel ze bude presne toto:
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov
3.semantika cisel
4.vyhodnotit nejaky vyraz (algebraicky, bolovsky)
5.program - naturalna semantika
6.program - operacna semantika
7.program - abstraktny strom
nic viac, nic menej
k bodu 4 - tusim vravel, ze "aj" vyhodnotenie vyrazu, aj nejake volne premenne, aj neviem co este :(
sak logicky ze nedaju tie iste cykly alebo tie iste prikazy pri SOS a NS...ale rosirenie semantiky algebraickych vyrazov a rozsirenie semantiky boolovskych vyrazov bude urcite rovnake...tam nemaju vela toho co vymyslat a neverim ze zarubu nejake nezmysly....semantika bin.cisel mas jedno aky priklad, abstraktny strom to iste...cize ked tak bude rovnake resp. mas jedno ci budu alebo ee :)
nehodi sem niekto cvika popripade priklad na kazdy z tych 7 bodov ?? lebo som nebol na kazdom cviku a nemam vsetko . Dakujem
nemoze niekto hodit na net nejaky priklad k 4. bodu, lebo neviem presne co sa tym myslim, ani sa mi nezda ze by sme nieco take brali na cvikach, pripadne nemame ten priklad dokonceny. K tomu 7 bodu ten abstraktny strom je myslene to co sme robili na prvom cviku(cize derivacny strom s e,n a s)?
- nj Mihalyi spominal, ze bude dake FV, ak si dobre spominam ... pozeram, ze v zosite mam k tomu velke pachnuce :D
- pytal som sa ci bude ten strom z prveho cvicenia a ze nebude ??? Vraj T1, T2...atd, ze to je strom len sme to zapisovali pod seba koli prehliadnosti ... bu
Quote from: Speedy2003 on 13.04.2010, 20:31:48
nemoze niekto hodit na net nejaky priklad k 4. bodu, lebo neviem presne co sa tym myslim, ani sa mi nezda ze by sme nieco take brali na cvikach, pripadne nemame ten priklad dokonceny.
pod algrbraickym/boolovskym vyrazom sa mysli napr: B[[ (x<x+1) /\ (x=x) ]] , my sme to mali na 3. cviku.
Edit: ak velmi tuzis po nascanovanom priklade, mozem ho scannut, ale moj pisomny prejav nieje najkrajsi O:-)
Quote from: Speedy2003 on 13.04.2010, 20:31:48
K tomu 7 bodu ten abstraktny strom je myslene to co sme robili na prvom cviku(cize derivacny strom s e,n a s)?
7. bod aj ja to tak chapem, ze vlastne program ktory dostaneme ako zadanie k 5. 6. a 7. ulohe bude treba prekreslit na strom (jednoduche, preto su za to len dva body)
Este by som doplnil k tym 7im uloham bodove ohodnotenie: 3, 3, 2, 2, 4, 4, 2
-ja nemam 6 cvicenie...neoskenuje ho sem niekto? Dakujem bv
Quote from: dalcasian on 13.04.2010, 20:51:21
-ja nemam 6 cvicenie...neoskenuje ho sem niekto? Dakujem bv
6. cviko u nas bola staticka a dynamicka semantika, to na pisomke nebude
Quote from: Casso on 13.04.2010, 20:55:01
Quote from: dalcasian on 13.04.2010, 20:51:21
-ja nemam 6 cvicenie...neoskenuje ho sem niekto? Dakujem bv
6. cviko u nas bola staticka a dynamicka semantika, to na pisomke nebude
-tak potom to co je pred tym ... lebo tuto hovadinu mam a cviko co bolo pred tym nemam :)
ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov
Quote from: Speedy2003 on 13.04.2010, 21:21:00
ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov
Rozsirte jednoduchy programovaci jazyk o exponent e
1e2 (riesenie bolo na prednaske)
Quote from: Speedy2003 on 13.04.2010, 21:21:00
2.rozsirenie semantiky boolovskych vyrazov
Rozsirte jednoduchy programovaci jazyk o operator implikácie (e
1->e
2) (taktiez bolo na prednaske)
Quote from: Casso on 13.04.2010, 21:31:01
Quote from: Speedy2003 on 13.04.2010, 21:21:00
ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov
Rozsirte jednoduchy programovaci jazyk o exponent e1e2 (riesenie bolo na prednaske)
Quote from: Speedy2003 on 13.04.2010, 21:21:00
2.rozsirenie semantiky boolovskych vyrazov
Rozsirte jednoduchy programovaci jazyk o operator implikácie (e1->e2) (taktiez bolo na prednaske)
a nemohol by si to prosim ta naskenovat a niekde hodit?
Quote from: Speedy2003 on 13.04.2010, 21:35:58
a nemohol by si to prosim ta naskenovat a niekde hodit?
hadam z toho vyjdete...
http://casso.ic.cz/temp/spj12.bmp (http://casso.ic.cz/temp/spj12.bmp)
diky, a to bude staci takto napisat, nic viac?
Quote from: Speedy2003 on 13.04.2010, 22:07:32
diky, a to bude staci takto napisat, nic viac?
imho, toto je vsetko co k tomu prikladu bude treba. Aj Slodicak hovoril ze ta pisomka ma byt lahka, a s.o.s a n.s. budu kratke, tak na 5 riadkov resp. urovni stromu.
potom ak ma niekto napady na dalsie rozsirenia syntaxe co by mohli byt na pisomke nech napise...minuleho roku bola napriklad absolutna hodnota, dalej pri boolovskych vyrazoch mozu byt lubovolne operacie(or,xor,nand,ekvivalencia atd...)
Quote from: puq on 13.04.2010, 22:41:57
potom ak ma niekto napady na dalsie rozsirenia syntaxe co by mohli byt na pisomke nech napise...minuleho roku bola napriklad absolutna hodnota, dalej pri boolovskych vyrazoch mozu byt lubovolne operacie(or,xor,nand,ekvivalencia atd...)
dalsie aritmeticke vyrazy napriklad: min(e1 e2), max, sign (e) - vrati 1 ak e je kladne, 0 ak je nulove a -1 ak zaporne,
z boolovskych... pre jednu premennu su styri funkcie, pre dve je ich dokopy 16, vsetky sa robia prakticky rovnako
Takze zapoctovka uspesne za mnou, bolo na to 45 minut, oficialny tahak dostal kazdy (obsahuje ns a os pravidla)
priklady v skutku jednoduche.
Skupina A:
1. abs(e)
2. e1 nand e2
3. 11100
4. FV(e1*e2)
5., 6. 7. if (x<=5) then x:=x+2 else x:=x+y;y=x+1
Skupina F:
1. -e
2. implikacia
3. 10011
4. FV (e1*e2+e3)
5. 6. 7. x:=2; if(y<=5) then x:=x+y else x:=x-y
GL (thx to kakan7)
este pre doplnenie, tak 7. uloha bola nakoniec derivacny strom(to co sa robilo na 1.cviku) a davajte si pozor kde je bodkociarka a kde zatvorka, pretoze sa mozte pomylit a tym padom mate 5.,6.,7. ulohu zle, konkretne v skupine A.
Quote from: Casso on 14.04.2010, 14:47:48
Skupina A:
1. abs(e)
2. e1 nand e2
3. 11100
4. FV(e1*e2)
5., 6. 7. if (x<=5) then x:=x+2 else x:=x+y;y=x+1
Skupina F:
1. -e
2. implikacia
3. 10011
4. FV (e1*e2+e3)
5. 6. 7. x:=2; if(y<=5) then x:=x+y else x:=x-y
GL (thx to kakan7)
mohol by si prosim ta, tie priklady aj vzorovo vyrat, aby som vedel co vsetko k tomu treba napisat a hlavne ako ??? vdaka
noo to by bolo fajn ;)
Moze byt to -e tak ze:
-e = e - (2 x e)?
Teda vysledok bude E[[e]] (-) N[[2]] (x) E[[e]]? Ci to ratam uplne inu vec?
Este jedna vec: FV(e1*e2) = FV(e1) U FV(e2) ??? to staci ci sa s tym este cosi robi?
Dik
k tym poslednym prikladom treba hodnoty premennych v stave s0, inac sa nedaju vyriesit.
mna ale zaujima ako ma vyzerat ten 4 priklad?
v 2. prednaske je daco take, ze: FV(e1*e2) = FV(e1) U FV(e2). To je cele? A ako to bude v skupine F?
EDIT: bol som predbehnuty :)
Quote from: Freemenik on 14.04.2010, 18:14:29
mohol by si prosim ta, tie priklady aj vzorovo vyrat, aby som vedel co vsetko k tomu treba napisat a hlavne ako ??? vdaka
No pisal som to na forum este na cviceni minutu po zapoctovke takze v tej chvili by si odomna vela chcel:D
EDIT: k tym FV, ja som napisal len FV(e1*e2) = FV(e1) U FV(e2)
ktomu 4. prikladu som sa pytal ci to tak staci, a povedala ze ano
Quote from: TradeMark on 14.04.2010, 18:54:06
Moze byt to -e tak ze:
-e = e - (2 x e)?
Teda vysledok bude E[[e]] (-) N[[2]] (x) E[[e]]? Ci to ratam uplne inu vec?
Este jedna vec: FV(e1*e2) = FV(e1) U FV(e2) ??? to staci ci sa s tym este cosi robi?
Dik
ja som dal tak:
E[[-e]] =
0 ak E[[e]] =
0 =
0 - E[[e]] inak
E[|-e|] = 0 - E[|e|]
toto staci..lebo aj ked e bude nula tak to bude fungovat :)
sry kolegovia to abs(e) tak mozem napisat ako E[[abs(e)]]s = |E[[e]]s| , cize mozem tam pouzit numericku absolutnu hodnotu ? alebo je riesenie ine ?
Aj pleeeease, ak niekto moze v ramci kolegialnosti napisat ako presne vypada to riesenie prikladu z if-om, lebo neviem aka ma byt presne forma toho, povedzme ze zaciatocna podmienka bude so = [X -> 3, y->7]. Vasich 5 min, niekoho cely zivot :))
Quote from: provasik on 14.04.2010, 23:10:31
sry kolegovia to abs(e) tak mozem napisat ako E[[abs(e)]]s = |E[[e]]s| , cize mozem tam pouzit numericku absolutnu hodnotu ? alebo je riesenie ine ?
numericku absolutnu hodnotu pouzit nemozes, musis to riesit cez podmienky, ak je vyraz mensi alebo rovny nule tak je to 0-E[[e]]s inak E[[e]]s
btw: pekny zart s prezenckou...
Ak sa mozem opytat.. ako vyzeral ten oficialny tahak? Ktore pravidla na nom boli? Pre vsetky ulohy, alebo len pre tu poslednu trojotazku? Boli tam napr aj tie pre urcenie hodnoty, teda N[n0]=2*N[n]? Teda nie zeby to bolo tazke, len pre info, ci tam boli aj take jednoduche veci alebo nie. :)
ludze mojo, z coho sa to vlastne ucite? lebo ja sice mam poznamky skoro z kazdeho cvika, ale vsetky su prakticky len kopie tabule 1:1, bez absolutneho pochopu... :( kde su tie novitzkej slajdy? alebo tie mi budu na nic?
BTW - moje vydenie prikladu z if v naturalnej semantike na http://www.megaupload.com/?d=L87QLICM (http://www.megaupload.com/?d=L87QLICM)
Prosim comments, ci je to OK, a ci treba riesenia tych sIEK rozpisovat az tak detailne :)
Quote from: dungeo on 15.04.2010, 00:21:41
ludze mojo, z coho sa to vlastne ucite? lebo ja sice mam poznamky skoro z kazdeho cvika, ale vsetky su prakticky len kopie tabule 1:1, bez absolutneho pochopu... :( kde su tie novitzkej slajdy? alebo tie mi budu na nic?
no skoro sa zacinas zaoberat pochopenim cviceni... noviztkej prednasky su na hornade (login a heslo je uvedene par stran dozadu, staci prelistovat) Ja som sa to ucil len z poznamok z cviveni a z prednasok, a to uplne stacilo
Pls, dnesni dopisomkovani.. odpiste mi niekto
Quote from: ppt on 15.04.2010, 00:11:16
Ak sa mozem opytat.. ako vyzeral ten oficialny tahak? Ktore pravidla na nom boli? Pre vsetky ulohy, alebo len pre tu poslednu trojotazku? Boli tam napr aj tie pre urcenie hodnoty, teda N[n0]=2*N[n]? Teda nie zeby to bolo tazke, len pre info, ci tam boli aj take jednoduche veci alebo nie. :)
Dik :)
Quote from: ppt on 15.04.2010, 00:39:29
Pls, dnesni dopisomkovani.. odpiste mi niekto
Quote from: ppt on 15.04.2010, 00:11:16
Ak sa mozem opytat.. ako vyzeral ten oficialny tahak? Ktore pravidla na nom boli? Pre vsetky ulohy, alebo len pre tu poslednu trojotazku? Boli tam napr aj tie pre urcenie hodnoty, teda N[n0]=2*N[n]? Teda nie zeby to bolo tazke, len pre info, ci tam boli aj take jednoduche veci alebo nie. :)
Dik :)
pravidla naturalnej a štrukturalnej operacnej semantiky, prakticky vsetky pravidla ktore trebalo (sekvencia, skip, while, if..)
Ozaj, moze lem niekto please naisat prvy krok prikladu if (x<=5) then x:=x+2 else x:=x+y;y=x+1 v operacnej semantike ? Kedze chapem ze je to sekvencia, pricom prvy prikaz if sa nevykona v jednom kroku, takze treba pouzit 3os1 pravidlo, tak neviem ze co ma pisat nad ciarov - please, niekto napiste lem to, lebo ma asi porazi .... :o :o
Quote from: provasik on 15.04.2010, 02:07:13
Ozaj, moze lem niekto please naisat prvy krok prikladu if (x<=5) then x:=x+2 else x:=x+y;y=x+1 v operacnej semantike ? Kedze chapem ze je to sekvencia, pricom prvy prikaz if sa nevykona v jednom kroku, takze treba pouzit 3os1 pravidlo, tak neviem ze co ma pisat nad ciarov - please, niekto napiste lem to, lebo ma asi porazi .... :o :o
to asi podla podmienky v if-e treba, ta najprv pouzijem asi 4os, neviem ...
inac po pisomke ste este nieco robili? alebo sa islo domov?
Quote from: sandusky on 15.04.2010, 02:29:58
Quote from: provasik on 15.04.2010, 02:07:13
Ozaj, moze lem niekto please naisat prvy krok prikladu if (x<=5) then x:=x+2 else x:=x+y;y=x+1 v operacnej semantike ? Kedze chapem ze je to sekvencia, pricom prvy prikaz if sa nevykona v jednom kroku, takze treba pouzit 3os1 pravidlo, tak neviem ze co ma pisat nad ciarov - please, niekto napiste lem to, lebo ma asi porazi .... :o :o
to asi podla podmienky v if-e treba, ta najprv pouzijem asi 4os, neviem ...
moze to vyzerat takto?
alfa1=<P,s0> =>
alfa2=<x:=x+2; y:=x+1, s0> =>
alfa3=<y:=x+1; s1> =>
alfa4=s2
s1=s0[x->3] B[[x<=5]]=tt
s2=s1[x->5]
s=s2=[x->5, y->6]
Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
Quote from: DeNaTuReMaN on 15.04.2010, 17:52:13
Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
takto presne som toriesil aj ja :)
Quote from: DeNaTuReMaN on 15.04.2010, 17:52:13
Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
tam v druhom priklade by asi mal byt vsade znak B(bool) namiesto E(epsilonu) a zvysok by som rovnako riesil...
Quote from: puq on 15.04.2010, 03:24:30
inac po pisomke ste este nieco robili? alebo sa islo domov?
Pisomka je na 45 minut, takze potom sme este prekladali program z jednoducheho programovacieho jazyka do abstraktneho stroja (to cudo zo zasobnikom)
Quote from: DeNaTuReMaN on 15.04.2010, 17:52:13
Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
pri SOS ti chyba na zaciatku este sekvencia 3os1 pravidlo lebo nemas nikde napisane podla coho si dostal <x:=x+2;y:=y+1,s0>
Quote from: puq on 15.04.2010, 19:14:08
Quote from: DeNaTuReMaN on 15.04.2010, 17:52:13
Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
pri SOS ti chyba na zaciatku este sekvencia 3os1 pravidlo lebo nemas nikde napisane podla coho si dostal <x:=x+2;y:=y+1,s0>
ako to potom vyzera s tym pravidlom?
tt
---------------------------------(4ostt)
<S,s0> => <x:=x+2,s0>
---------------------------------(3os1)
ALFA1 => <x:=x+2;y:=y+1,s0>
S je celz prikay if
este doplnene uplne
Quote from: DeNaTuReMaN on 15.04.2010, 17:52:13
Tu som teraz vypocital tych 7 typov prikladov , sa moze niekto inspirovat alebo ma zjebat ze co mam zle .
http://denature.netkosice.sk/sk/spj.jpg (http://denature.netkosice.sk/sk/spj.jpg)
no este ako tak pozeram blizsie tak tie stavy v NS su kus zle ..s2 tam nema byt vobec
edit: dik puq uz to vidim :)
v NS je zle len ta najvyssia uroven, ci aj ta pod nou? konkretne tie indexy pri "s"
takto by to malo byt:
<x:= x+2,s0> -> s1
______________________________________
<if(x<=5) then x:=x+2 else x:=x+y, s0> -> s1 , <y:=x+1, s1> -> s
________________________________________________________
<if(x<=5) then x:=x+2 else x:=x+y; y=x+1, s0> -> s
test K
1 max (e1,e2)
2 bsucc (b)
3 11011 = 27
4 FV (true V b1)
5, 6 a 7 if neg(x<=3) then y := y - 1 else y:= y + 1;
tolko si pamätam..
okrem toho, ze nam povedal cely druhy a stvrty priklad a v miestnosti bol hluk, tak to bolo v pohode :)
Fibonaci sa mi krvi napil dpc ... :)
neviem, zrejme uz nema nikto zajtra cviko... ale podarilo sa mi odfotit skupiny co sme mali na pisomke (tusim jedna je v horsiej viditelnosti, neviem ako to bude vidno na kompe, este som nepozeral)... tak neviem ci to niekoho trapi a chce vidiet alebo nie, kedze uz je po vsetkom
este je tu opravna pisomka :D
podla mna nebude opravna, ved 20b budu mat vsetci a z 20b co je za pisomku snad uz len nieco chytite
aj ked niekto nebol na prezencke tak bude 20 b?
jj tak bolo povedane na prvej prednaske, ved tu prezencku robil Slodicak, keby nahodou, ved nevedel, ze netreba...
Quote from: pepco on 16.04.2010, 04:21:56
jj tak bolo povedane na prvej prednaske, ved tu prezencku robil Slodicak, keby nahodou, ved nevedel, ze netreba...
aku prezencku zas robil? a co netreba?
Prezencky uz su oficialne. Dokopy budu 3, teda este 2.
Slubenych je len 9b za prednasky, ale skuste porozmyslat za co asi tak bude 11b za aktivitu :P
Cvicenie v 12tom tyzdni nebude v ziadnej skupine! V 13tom tyzdni budu cvicenia len konzultacne-takze nie je potreba prist.
nice a to z akeho dovodu? nemame co pocitat? ved na skuske nebudu priklady?
a do indexu bude zapisovat? ci nato mozem zabudnut?
Tak asi uz neni co ;D
Na dverach budu buduci tyzden papieriky, ze "cvicenie sa kona v nahradnom termine", pricom na nahradny termin sa nam zahadne nikde nenajde miesto, takze buduci tyzden nemame. :)
aha, fajn :) aspon sa pojde skor domov
Cvicenia buduci tyzden nebudu, ale prednaska bude... takze keby niekomu chybalo cviko stale si moze ist vypocut, co to o semantike na prednasku ;) *Uz vidim tie zastupy*
Quote from: ppt on 29.04.2010, 20:23:56
Cvicenie v 12tom tyzdni nebude v ziadnej skupine! V 13tom tyzdni budu cvicenia len konzultacne-takze nie je potreba prist.
to aj pre cviko so slecnou Lalovou plati? lebo vraj to vravel pan Slodicak
taktiez by ma zaujimalo ci sa mam rano vstavat na cviko 7.30 alebo nie, tak ak mate nejake info o cviceniach so slecnou Lalovou, tak budeme urcite viacery vdacny :D
ee netreba vstavat ..slodicak vravel ze to plati pre vsetkych
Jop, cvika nema ziadna skupina.
neviem ci viete ale prednasky boli dost inspirovane touto knizkou http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html (http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html)
kto vie po anglicky vie ta kniha vysvetlit vela (si pamatam ze som bol dost debil z denotacnej semantiky a tam je to pekne vysvetlene)
hellou, peoplesaci, mam otazocku pre tych, co sa chystaju na predtermin - boli na prednaske nejake typy, co by sa tam asi tak mohlo vyskytnut? prip. ak mate niekto kompletne poznamky z posledneho cvika alebo aj ostatnych cvik, mohli by ste ich vyshareovat aj pre tych, ktori ich nemaju kompletne? A su niekde minulorocne skusky? Diks
nie, na prednaske nic blizsie povedane bohuzial nebolo.. len tolko, ze oficialny tahak bude a ziadne ine si robit nemame :D
zdravim ludia, mohol by tu niekto hodit poznamky z 10. a 11. tyzdna najlepsie od mihalyiho :) vopred dakujem
ludia su tento tyzden cvika ??
len konzultacne
Cafko ludkovia, vie niekto ako bude prebiehat skuska z tohto predmetu a co vsetko treba vediet ??... ak hej hodte to sem..dik
No tak na predtermine boli ako dozor Slodicak, Novitzka a Lalova. Skusali Slodicak s Novitzkou. Tahali sa tri otazky - priklad, teoreticka a jeden dokaz, vymenit sa neda. Ku kazdemu je potrebne mat aspon nieco. Nestaci mat dve na sto percent a tretiu vobec.
Ja som mal priklad odvodzovaci strom pre naturanulnu semantiku. Dokaz bol preukazat korektnost implementacia suctu a premennej pre aritmet.vyrazy a logickeho suctu a negacie. Teoria Denotacia cyklu a defincie monotonnej f-cie, spojitej, funkcional, fixny bod ...
no ja som bol pri novitzkej a ja som si vytiahol otazku na definiciu formalneho jazky(def. abstraktnej syntaxe a semantiky jazyka), dokaz pre podmienku v abstraktrom stroji a dokazat jej korektnost a priklad som mal odvodzovaci strom pre NS...dost neprijemny priklad, lebo tam bol cyklus, v nom if, za ifom dalsi prikaz a za cyklom este dalsi priklad a cyklus kym bol ff tak sa opakoval 3x :)
a prof.novitzka bola super, pytala sa normalne otazky ani nie na presne definicie, ci je dokaz dobry ale ci tomu chapem a ci to viem vysvetlit...priklad ani nepozrela, len videla ze tam mam strom, tak sa pytala ako funguje vlastne NS pre prikaz a som jej to mal vysvetlit...inac spokojnost tak s otazkami ako aj s prof.novitzkou ;) vysledna A98 pri novitzkej A96 v maise :D kedze som mal zapich 36 :D
oh yeah...uz sa tesim
kiezby som mohol napisat to iste
napisat mozes... co by si nemohol :P
no napisat mozem, ale bude mi to prd platne..
Quote from: Mao on 13.05.2010, 00:58:55
No tak na predtermine boli ako dozor Slodicak, Novitzka a Lalova. Skusali Slodicak s Novitzkou. Tahali sa tri otazky - priklad, teoreticka a jeden dokaz, vymenit sa neda. Ku kazdemu je potrebne mat aspon nieco. Nestaci mat dve na sto percent a tretiu vobec.
Ja som mal priklad odvodzovaci strom pre naturanulnu semantiku. Dokaz bol preukazat korektnost implementacia suctu a premennej pre aritmet.vyrazy a logickeho suctu a negacie. Teoria Denotacia cyklu a defincie monotonnej f-cie, spojitej, funkcional, fixny bod ...
mozes sem hodit ako si napisal ten dokaz .?..co vsetko k tomu bolo treba popisat a tak...dik
ved vsetky dokazy mas v prednaskach...a pytal som sa na take veci ako ked nejaky dokaz vychadza z ineho dokazu, tak ze to netreba dokazovat tu vetu ktoru pouzijes, ale len to co mas dokazat
takze si sa ucil vylucne z nich a stacilo to?
nic viac ako prednasky ti netreba...plus cvika priklady pre lepsie pochopenie a vyskusanie si prikladov :)
jaaj, cize take cosi ako bolo na TT
povedal by som ze presne take :)
ja som mal dokazat korektnost implementacie pre konjukciu boolovskych vyrazov, vztah mensi a rovny pre aritmeticke vyrazy a pre konstantu true...a boolovske vyrazy v prednaske nie su dokazane len je tam spomenute ze sa dokaz vykonava podobne jak pre artimeticke
Quote from: buhehe on 14.05.2010, 00:22:42
ja som mal dokazat korektnost implementacie pre konjukciu boolovskych vyrazov, vztah mensi a rovny pre aritmeticke vyrazy a pre konstantu true...a boolovske vyrazy v prednaske nie su dokazane len je tam spomenute ze sa dokaz vykonava podobne jak pre artimeticke
taze si dopadol jak? :) mal si to?
hej dal som to nakoniec...dokaz som vedel prave kvoli tomu ze bol podobny jak dokaz pre aritmeticke vyrazy...
Nevie dakto kde ma kancel Slodicak ?
Quote from: dabol on 19.05.2010, 16:05:34
Nevie dakto kde ma kancel Slodicak ?
na vysokoskolskej, ked sa nemylim..
edit: podla kpi (http://hornad.fei.tuke.sk/kpi/person/slodicak/kpicard.php) je to miestnost C159 (V4)
nechce si niekto vymenit termin zo skusky ? ... dakto kto je nahlaseny na 9.6. ....vymenim za 16.6. ... bol by som vdacny...dik
ja by som tiez take bral, ale uz na to kaslem.. azda bude viac casu na ucenie sa ;D
ja idem 2.6., ale chcem ist 9.6. vymeni niekto? este je dost casu :)
ucite sa to vsetko? bo tolko keksov a kokotin som v zivote necital..a to som mal aj na TI dost
my sme mali TT, to bolo asi nieco podobne, sice este presne neviem, co obsahuje toto :)
no mna zaujima hlavne prednaska cislo 8+ :D lebo zhruba do tej sedmicky rozumiem..potom prestavam vobec chapat realitu
poviem ti, ked k sa k tej problematike dostanem aj ja, ale to uz budes davno po skuske :)
otazky su asi zo vsetkych prednasok...ja som mal akcnu semantiku
Nazdar kolegovia, co vseko je obsahom toho povoleneho tahaka ? Su tam aj povedzme instrukcie abstraktneho stroja, alebo sa ich mam ucit zpamati ?
su tam aj instrukcie abstraktneho stroja a aj prekladove instrukcie AM
vie mi dakto ludsky vysvetlit to ratanie funkcionalu? zatial sa o to snazili dvaja cviciaci neuspesne :D
to co je do <> s tymi terminmi???
najblizsi volny 30.6? a to je jediny volny ? praska im uplne?
Quote from: LONEr on 23.05.2010, 21:40:58
to co je do <> s tymi terminmi???
najblizsi volny 30.6? a to je jediny volny ? praska im uplne?
najblizsi volny 26.5. :)
Quote from: LONEr on 23.05.2010, 21:40:58
to co je do <> s tymi terminmi???
najblizsi volny 30.6? a to je jediny volny ? praska im uplne?
skor by som povedal ze ty si sa nejak "skoro" spamatal :) lol :D
podla mna to bude tak ako na TIcku ... ze den pred skuskou sa uvolni nejake miesto vzdy :-)
neviem ako vy, ale ja rozhodne vynechavam 6.prednasku o Statickej semantike... a to sa mi uz ta 5.prednaska o Dynamickej semantike zdala dost nepochopitelna... :(
to si este nedosiel na 8. asi :)
jj.. :D
Ved 1-7 je celkom v pohode, akurat chaos z toho mam, ale snad ...
No ani 8 a 9 by nebolo take blbe, keby tam tie Fixne somariny nefigurovali.
som zvedavy com ma caka dalej :-)
dalej to je uz tiez v pohode..akurat osmicka je taka..no..taka chujova..
Quote from: JCube on 23.05.2010, 14:52:01
vie mi dakto ludsky vysvetlit to ratanie funkcionalu? zatial sa o to snazili dvaja cviciaci neuspesne :D
btw pripominam moju otazku
Otazky (teoria) su formulovane ako nazov kapitoly ? alebo moze byt aj nejaka mensia cast prednasky ? Ze ked si spravim z kazdej prednasky dajaky ten vytah kratsi ( 1 strana z kazdej prednasky ) a toto sa naucim tak budem vediet odpovedat na polozene otazky ?
otazky su casti prednasok...cize podkapitol by sa dalo povedat...cize ak v tom vycuce obsiahnes celu prednasku tak aj hej...lebo vacsinou mas zakladne definicie, pre syntax, semantiku a popripade dalsie definicie a potom su nejake pravidla a dokazy
Quote from: DeNaTuReMaN on 24.05.2010, 17:46:59
Otazky (teoria) su formulovane ako nazov kapitoly ? alebo moze byt aj nejaka mensia cast prednasky ? Ze ked si spravim z kazdej prednasky dajaky ten vytah kratsi ( 1 strana z kazdej prednasky ) a toto sa naucim tak budem vediet odpovedat na polozene otazky ?
a podelis sa o to? :)
Ked to vobec aj dokoncim heh :) ( este som nezacal nic ) no neviem ci to ma zmysel ked to su podkapitoly ako otazky, asi budem citat cele slidy radsej a nebudem si robit poznamky, lebo stratim vela casu ( kedze to nieje podla planu ako som si myslel ze si napisem poznamky z kazdej prezentacie na stranu a bude. ) Ale to az zajtra zacnem heh , dnes mozno pozriem priklady a dokazy , ked sa odleniviem
mam taketo technicke otazky ...
1. to akoze treba vediet vsetky vzorce pri kazdej semantike ? ( na zapoctovke boli na tahaku a to iba z dvoch )
2. to sa taha jeden papier s ( teoretickou, dokaz, priklad ), alebo kazdy samostatne ? ( aku mam sancu vytiahnut 3 krat denotacnu )
3. z poslednych prednasok, - akcna semantika - tam treba presne slovosled vediet v anglicstine definovat postupnost vykonavania programu ? alebo ked napisem po svojom bude stacit ?
4. ti co sa ucite, nemate pocit ze vsetko je skoro stejne, az na par detailov ? ci to len mne pripada ?
PS : ked budem vediet iba uplne ze zbezne, co asi mozno pravdepodobne by tam malo byt, a na ustnej skuske jej to nejak tak vysvetlim, dostanem aspon "D" ?
ja uz sa neucim..nemam na to nervy :D
hm co som tak precital dozadu par stran aj z archivu, tak som veruze vela otazok nevytiahol asi 6 otazok, pricom vacsina sa opakovala z pred roka... to viac skupin ani nie je?
prosim ta postni tu te otazky, urob taky suhrn, mne sa nechce hrabat v archive, kedze ty uz si sa hrabal :)
presne tak .. pepco sem s nimi, nebud sukromnik :-)
1) Denotacia cyklu a definicie: monotonej a spojitej f-cie, funkcionalu, fixny bod
2) Definicia formalneho jazyka (abstraktna syntax a semantika jazyka)
3) Akcna semantika
4) Semantika aritmetickych vyrazov a booolovskych vyrazov
5) Denotacna semantika pre blok prikazov (medzi begin a end)
6) nejaka otazka z poslednej prednasky - take bludy :D
popripade ti co ste uz boli na predtermine a mali ste nieco ine mozte napisat dalsie otazky ake boli... viac som toho nenasiel
ja som z archivu minuleho roku take nico vytiahol:
tak tahala som tri veci, jeden dokaz (NS - OS, while + postupnost prikazov), co som rozpisala na dve strany, dalej priklad (definovat semantiku + syntax osmickovych cisel) a jednu teoreticku (posledna prednaska nejake bludy)
#########################################################################################################################################
Ale nie všetky otázky sú také v pohode. Aspoň pre mne sa to zdalo dosť hard. Moja písomka:
1)Príklad: Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;
naturalna:
pre B[[b]] = tt
<S;s>->s` <c1:=c1+1, s`> -> s`` <for c1 to c2 do S, s``> -> s```
______________________
<for c1 to c2 do S,s> -> s```
b:= c1<=c2
pre B[[b]] = ff pises ze sa nevykona nic z cyklu
pre strutruralnu pises:
<for c1 to c2 do S, s> => <if B[[b]] then S;c1:=c1+1;for... else skip, s>
pre denotacnu pises:
<for c1 to C2 do S> = fix F
F g = cond(B[[b]], S ° c1:=c1+1 ° g, id)
2)Teória: Denotačná sémantika pre blok prikazov(to je toto medzi begin a end,neviem ci sa to vola blok prikazov).
3)Dôkaz: Dokáž že jednoduchý programovací jazyk je deterministický.
strukturalnou indukciou na pravidla NS
#########################################################################################################################################
Priklad: Cyklus s 3 iteraciami a z toho konstruovat odvodzovaci strom.
Dokaz: Dokazat semanticku ekvivalentnost S1 a S2.
S1 = while b do S
S2 = if b then (S; while b do S) else skip
Teoria: Semantika aritmetickych vyrazov a boolovskych vyrazov.
#########################################################################################################################################
Ako je vyjadrena denotacia cyklu? Co je to monotonna fcia? Spojita fcia? Funkcional? A co je to fixny bod?
Quote from: badi on 24.05.2010, 21:31:31
mam taketo technicke otazky ...
1. to akoze treba vediet vsetky vzorce pri kazdej semantike ? ( na zapoctovke boli na tahaku a to iba z dvoch )
2. to sa taha jeden papier s ( teoretickou, dokaz, priklad ), alebo kazdy samostatne ? ( aku mam sancu vytiahnut 3 krat denotacnu )
3. z poslednych prednasok, - akcna semantika - tam treba presne slovosled vediet v anglicstine definovat postupnost vykonavania programu ? alebo ked napisem po svojom bude stacit ?
4. ti co sa ucite, nemate pocit ze vsetko je skoro stejne, az na par detailov ? ci to len mne pripada ?
PS : ked budem vediet iba uplne ze zbezne, co asi mozno pravdepodobne by tam malo byt, a na ustnej skuske jej to nejak tak vysvetlim, dostanem aspon "D" ?
1/ake vzorce? ved mas oficialny tahak na ktorom mas vsetky odvodzovacie pravidla...kazde jedno pravidlo kde je NS,OS alebo DS v zatvorkac a pri tom cislo plus este pravidla pre abstract machine a aj prekladove funkcie
2/tahaju sa po jednom papieri z kazdej kopky...cize zvlast teoria,priklad,dokaz...ak by si 3x vytiahol denotacnu tak si riadny "lucker" :D btw ku kazdej otazke je potrebne mat aspon nieco, resp. nico vediet, lebo to co si napisete je len priprava vasa k ustnej odpovedi
3/akcna nebola na oficialnom tahaku tak predpokladam ze nebude na to priklad jedine teoria
Priklad na akcnu urcite nebude - to povedal aj na prednaske ...
1. vyborne to som potreboval "pocut" , ze bude tahak, to hned vela veci zjednodusuje :-)
2. ake ja mam stastie tak denotacnu vytiahnem hned 4 krat z 3 pokusov :D
kde je vysvetlena denotacna semantika pre blok (begin end)? v prednaske 8 som nic take specificke nenasiel.
Neviete mi poradit, co tym presne myslia?
Quote from: LONEr on 25.05.2010, 01:52:01
kde je vysvetlena denotacna semantika pre blok (begin end)? v prednaske 8 som nic take specificke nenasiel.
Neviete mi poradit, co tym presne myslia?
tiez som nic k tomu nenasiel, jedine ze by to mal byt prikaz bloku v Nepriamej denotacnej semantike, konkretne pri vzniku vynimocnej situacie... ale tak neviem ci toto bude niekto schopny vediet :(
22 z 25 :-) aktualny stav na zajtra ...
Quote from: JCube on 24.05.2010, 15:44:41
Quote from: JCube on 23.05.2010, 14:52:01
vie mi dakto ludsky vysvetlit to ratanie funkcionalu? zatial sa o to snazili dvaja cviciaci neuspesne :D
btw pripominam moju otazku
taze tiez to chcem vediet :D ... odhodlajte sa niekto
Dôkaz: Dokáž že jednoduchý programovací jazyk je deterministický. strukturalnou indukciou na pravidla NS
--> je toto niekde hotove? nenasiel som.
to je cely dokaz :) a potom by si mal vediet co je strukturalna indukcia a ako to funguje
Quote from: puq on 25.05.2010, 23:45:25
to je cely dokaz :) a potom by si mal vediet co je strukturalna indukcia a ako to funguje
opakujem otazku: "je to niekde vypracovane? - prednaska alebo hocikde"
Quote from: LONEr on 26.05.2010, 01:09:02
Quote from: puq on 25.05.2010, 23:45:25
to je cely dokaz :) a potom by si mal vediet co je strukturalna indukcia a ako to funguje
opakujem otazku: "je to niekde vypracovane? - prednaska alebo hocikde"
a ja opakujem odpoved: to je cely dokaz :) ale sa ta moze spytat co je je dokaz strukturalnou indukciou :)
ja viem,ze to je dokaz, ale ci to niekde nie je vypracovane pre lasku boziu.
nie nie je..naco by to bolo? :P
laske bozej by to naozaj bolo nanic :D :D
ja som sa rozhodla, ze z poslednych troch prednasok zajtra (dnes) nic nebude na skuske....
ja by som este pridala aj 8 prednasku a potom sa s tym plne stotoznujem :)
no, 8ma bude, ale ja ju nebudem mat :D
no povedal by som to ze to bude subjektivne :D kedze kazdy si taha otazky sam :) ak mate lucky hand tak to je potom pohodicka :D
citam....a citam....denaturacna semantika :D
Ma spominate ? ta idem daco aj ja precitat
no ta zeby som bol tak dlho hore, alebo dokonca, zeby som nesiel spat kvoli jednej skuske? to sa mi nepaci toto :emot-shakehead:
skuska bola spolu s dalsim predmetom novitzkej.
rozsadzali podla abecedy do radov. Kazdy dostal papier aj zadania do ruky.
ustna cast bola najma u soldicaka, ktory chcel, aby bola kazda uloha spravena aspon na polovicu.
Pokial viem, zatial vyletel 1 kvoli hore spominanemu dovodu.
tj? mal toho malo napisane?
a otazky? vazne sa treba vsetko ucit? :/
fx :D nemal som priklad kde trebalo ratat funkcional..ostatne tip top :)
cosi.. :) prve?
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 :D ), len mi povedal ze su tam nejake drobne chybicky, ze ci mi staci B-cko... Neprotestoval som :D
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
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 :-)
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
takze uz ani na happy hand sa clovek spoliehat nemoze ;D
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 :)
tak to je cudne no...ze slodicak tahal :D ja som ho na predtermine popytal nech mi vytiahne ale nexcel ze nemoze :) ale nakoniec som mal happy hand :D
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[]
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
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
taky dotaz. co ste boli v stredu na skuske a ste zrobili, mate uz znamku v maise?
Zdravim , nehodil by sem niekto priklady z cvik , alebo nejake priklady co ste si ratali ku skuske ? Vrela vdaka bq
Uz v stredu poobede som mal zapisanu
kto vie ako sa pocita funkcional a rad by sa o to s nami podelil?
Ď.
Quote from: Michal102 on 30.05.2010, 03:59:32
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 :)
esteze je do skusky tolko casu :D
Mohol by tu niekto napisat euklidov algoritmus v operacnej semantike?
Quote from: Killian on 31.05.2010, 02:01:22
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
Dakujeeeem :).
Quote from: K5 on 27.05.2010, 00:55:45
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? :D :-X
nie to mas vediet
super
davam na znamost ze mila teta novitzka zvysila pocet nestastnikov na skuske na cislo 35 z cisla 25. prehlasujte sa co to da!
QuotePriklad1: 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
nahodou oficialny tahak nie je niekde zverejneny?
neviete nahodou ci na predoslych terminoch mali aj dokaz vztahu denotacnej a operacnej sem.? dakujem
Quote from: letolto on 01.06.2010, 19:24:32
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...
Quote from: johnyo13 on 01.06.2010, 18:14:09
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
pozeram ze nepadli ani otazky zo statickej/nepriamej semantiky, ci?
Ja som mal teoriu nepriamu semantiku.
<>
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 bp
takze su naraz terminy zo SPJ a LPI?
jj naraz...tak to bolo a jdoteraz
Quote from: letolto on 02.06.2010, 17:12:56
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 bp
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?
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 :D
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.
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
ta co? funkcional uz nebol? :D
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
Quote from: Viper_No1 on 02.06.2010, 17:59:45
Quote from: letolto on 02.06.2010, 17:12:56
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 bp
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.
Quote from: JCube on 02.06.2010, 19:19:06
ta co? funkcional uz nebol? :D
Typek predomnou mal :D
jcube, mozes byt pokojny ;D
cool..som myslel ze budem najebany :D
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
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 :)
Quote from: cepi on 03.06.2010, 00:40:38
..
bolo uplne vpohode az na to cakanie
..
myslim, ze to je na kazdej skuske.. neviem, co tym chcu docielit ;D
no co uz ste vsetko nauceni? :D aku taktiku volite? :)
ja volim taktiku ze sa tu nezabijem(aj ked nemam k tomu daleko), ked mam este opravne terminy... :whacko:
kOsTi, sak ty si to este tiez nevidel..
a mne sa do toho tiez este nechce, no bolo by nacase zacat :)
na to si ako dosiel? :)
domnienkou :P ako inak
potom ti to nejde :P
Quote from: kOsTi on 08.06.2010, 20:21:43
potom ti to nejde :P
neveriim :P ale co sa ucis?
spj :)
ale ba :D pytal som sa, ze co konkretne
no jak,ready na zajtra? ja som sa zacal prave ucit... :-D
az na 8,9 to je simple :D
prekladove funkcie pre AM predpokladam ze neboli na tahaku, ci?
boli
tipoval by som ze vsetky vzorce oznacene nejakym cislom (pismenom) su na tahaku, alebo nie? :/
Quote from: Corse on 09.06.2010, 01:15:07
boli
isto? :D bo sa mi nechce verit, take pravidla pre AM pochopim ved mali pisane cisla v (1am) ale ked su aj prekladove tak AM su total easy...
Quote from: kOsTi on 09.06.2010, 01:16:14
tipoval by som ze vsetky vzorce oznacene nejakym cislom (pismenom) su na tahaku, alebo nie? :/
to hej, ale prekladove funkcie cisla nemaju
Quote from: maTo on 09.06.2010, 01:12:00
az na 8,9 to je simple :D
no simple by som nepovedal, ale je to zvladnutelne ;)
vsetko je na tahaku
AM bolo na tahaku, ja som to pouzila v priklade na preklad do AM....
meh..drzim palce :D
nemam z toho dobry pocit, no uvidime :D
to ze nemas dobry pocit je dobre..ja mam dobry pocit ako minule a bolo z toho Fx :D
mno dnes sa dalo celkom, nikto sa velmi nestazoval aspon co viem...
T: Definovat semantiku bool a exp vyrazov JPJ
P: Napisat dynamicku naturalnu semantiku pre program (boli tam dva bloky vnorene s deklaraciami premennych)
D: Dokazat korektnost implementacie na abstraktnom stroji pre priradovaci prikaz a skip
ale ty si nepovedal, ze mas dneska skusku.. :P
preto som sa domnieval, ze sa este neucis a preto ja mam este cas, dufam
vydalo na B :)
T: Definovat NS prikazov JPJ a vysvetlit
D: Dokazat pre postupnost a priradenie, ci ekvivalentne NS OS
P: case x of e1:S1;e2:S2 else S3 NS OS DS
U mna :
T: Nepriama denotacna semantika + zakl. pojmy.
P: Rozsirenie JPJ (Syntax aj semantika) o nasledovnika prirodzeneho cisla, Fib(n) - nty clen Fibbonachiho postupnosti a o nonekvivalenciu bool. vyrazov.
D: Korektnost implementacie komutativnosti a asociativnosti nasobenia vyrazov pomocou AM.
Skuska uplna pohoda.
moja:
T: Akcna semantika, fazety, atd...
D: Ekvivalencia prikazov priradenia a podmienky pre NS a SOS
P: Odvodzovaci strom v SOS pre taky priklad ze boli v podstate sekvencia S1(priradovaci prikaz), S2(cyklus while), S3(priradovaci prikaz)
pohoda... GL vsetkym :)
ze skusa iba slodicak?
Quote from: ApokalypS on 09.06.2010, 19:21:43
ze skusa iba slodicak?
no na zaciatku sa kvazi este dalo vybrat, ked Novitzka este nemala koho skusat z Logiky, ale kedze prisla o nieco neskor ako Slodicak, tak zase az tolko priestoru nebolo... ale tipujem ze aj na konci uz aj ona skusala SPJ, kedze z Logiky je menej ludi ako na SPJ :)
a ucit sa staci cisto z prednasok?
elementarna fazeta, akcie atd
dynamicka naturalna pre dva vnorene bloky
dokazat ekvivalenciu prikaziv IF b then (S ;While b do S) else skip a while b do S v naturalnej
pohoda jahoda..jahoda lesna
Quote from: ApokalypS on 09.06.2010, 19:25:00
a ucit sa staci cisto z prednasok?
jj + nejake priklady z cvik tiez neuskodia
P: rozsirit syntax o b1=b2, b1=>b2, e1>e2
T: typy vykonavania akcii, definovat zberace, typy udajov v akcnej semantike = proste dajake haluze z akcnej
D: korektnost podm. prikazu, cize Sos[|if b then S1 else S2|] pomocou AM
to ôsmu prednasku preto nik nechape, lebo uz neni je od novitzkej, ale od slodicaka? ;D
dneska siel taky hoax ze vraj nebude ten dokaz ekvivalencie SOS a DS..
s odvolanim na toto :)
Quote from: johnyo13 on 01.06.2010, 19:27:36
Quote from: letolto on 01.06.2010, 19:24:32
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...
a niesu niekde nejake otazky, priklady, dokazy ucelene? nemate niekto niekde spisane vsetky?
Ja mam, ale len malilinku cast. Mozem hodit na ftp ale az vecer ked budem doma. Ono v podstate teoreticke otazky su nazvy prednasok :)
Quote from: kOsTi on 09.06.2010, 20:49:40
s odvolanim na toto :)
Quote from: johnyo13 on 01.06.2010, 19:27:36
Quote from: letolto on 01.06.2010, 19:24:32
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...
pice to vediet skor :D respektive na to nezabudnut :/
Quote from: ApokalypS on 09.06.2010, 20:51:06
a niesu niekde nejake otazky, priklady, dokazy ucelene? nemate niekto niekde spisane vsetky?
http://leteckaposta.cz/518358148 (http://leteckaposta.cz/518358148)
su to vsetky otazky, ktore sa niekedy vyskytli na fore, vratane par dnesnych.
thanks :)
mate niekto nejaky tahacik ? co by pomohol ?
vraj tahaky nemame pouzivat, okrem toho oficialneho samozrejme, tie nase nestoja za nic :D su nepresne a podobne :D
Dokaz vztahu denotacnej a SOS nebude vobec? myslim strany 27-41 v 8 prednaske?
ne
vcetci dostanete funkcional mwhahaha!
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 ;)
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?
Quote from: dungeo on 14.06.2010, 18:19:17
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 :D
staci
thanks, idem dalej ucit :/
nemate niekto vyriesene tie priklady co boli doteraz?
hod sem vyriesime :P
Quote from: McLarenPP on 09.06.2010, 21:12:41
Quote from: ApokalypS on 09.06.2010, 20:51:06
a niesu niekde nejake otazky, priklady, dokazy ucelene? nemate niekto niekde spisane vsetky?
http://leteckaposta.cz/518358148 (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 :)
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 :)
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?
Quote from: ApokalypS on 15.06.2010, 17:40:38
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?
Quote from: dungeo on 14.06.2010, 18:19:17
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 :D
bohuzial idem :) coz ale neznamena, ze potom tie materialy uz nebudem potrebovat, takze si ich zatial rezervujem ;)
Quote from: Dominico on 15.06.2010, 23:49:19
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?
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
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 :)
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.
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
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
nema niekto spracovane tie dokazy a priklady ? dakujem
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
aky je rozdiel v prikladoch kde mam urobit odvodzovaci strom pre NS a zistit NS programu pripadne vyznam ??
finito... pre tych co este neboli, dal som na forum, nejake riesene priklady
ftp myslis?
to sa stane, ze je clovek z toho taky stastny, ze ani nevie, co pise :D
bk tak nejak
nejake nove otazky ? ci ?
tie iste co stale... Da sa jedna otazka aj vymenit vacsinou, ked poprosis Lalovu
ma este niekto nejaky tahacik na teoriu , dokazy a priklady ? prosim ak ma tak poskytnite , vopred dakujem
Quote from: roman5555 on 29.06.2010, 18:35:15
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
Quote from: roman5555 on 29.06.2010, 18:35:15
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
joooj preco si to nedal skor? :) Ale nie, dik aj tak
tak ved to mas v prednaskach.. len skpirujes a upravis ;) to si spravi kazdy... robil som to siece dva dni, ale... ap
Ta co, aj vam uz drbe z toho? Bo mne kvalitne, sosam kavu a beznadejne sa to snazim vtrepat do hlavy....
toto su take chujoviny ze ani sa nevyjadrujem .
ma boli mozog
no tak ako dopadol posledny termin v LS? kolko nespravilo?
pochybujem, zeby niekto nespravil