caute, ti co ste si zvolili semantiku chcel som sa opytat ci sa ucite normalne z prednasok na ten predmet alebo mate nejake knihy alebo nieco. vopred dakujem za info.
toto by aj mna zaujimalo...ja zatial planujem len z prednasok a cvik
aj ja tak nejak, popripade tym co mame sematniku mozme kazdy spravit po 1 - 2 otaky apotom zdielat ;)
ako to vyzera? spracuvava niekto nieco? nech nerobime vsetci to iste pripadne
Treba sa ucit 6. prednasku - Staticka semantika k okruhu 3.6 ??? - Operacna semantika blokov, deklaracii a procedur?,?
No čo má dakto spracované otázky, či každý sa z prednášok učí?
vyzera to na prednasky :D
ja som pisal novitzkej, a ona povedala, ze stacia prednasky na ucenie
Je tem niekde axiomatická sémantika? ... lebo ja som nič také nenašiel
Tak aximoatickú som našiel v 7mej prednáške od strany 22 tuším :-D No len aj v tych prednaskach je to v niektorych pripadoch dost pomiesane :-D No len tych dokazov a tie veci sa naucit tak to bude o krk :-D hlavne druha polovica otazok :metal:
Hlavná vec, že som si pozeral veci zo starých prednášok ... nevadí ... zvykám si ... už 5 rokov :whacko:
Quote from: deCode666 on 10.05.2012, 20:11:40
Hlavná vec, že som si pozeral veci zo starých prednášok ... nevadí ... zvykám si ... už 5 rokov :whacko:
stáva sa... ako nič by ma nesralo len tie dôkazy a tie bludné veci okolo toho :-D čo sa naučiť bude dosť na...
Dôkazy sa neplánujem učiť ... logiku v tom nevidím a naspamäť sa to bifliť nemienim ... bude mi dosť, ak sa naučím ako básničku ten zvyšok
No hej ale aj ten zvyšok je bludny hlavne pri denotacnej a tych dalsich semantikach.... pri naturálnej a štrukturálnej je to ľahké, aj tie pravidlá sa dajú ľahko zapamätať, ale čo som ďalej pozeral tak od otázky 3.5 sú tma bludy, že až....
dokazy som pocul zevraj sa ani ucit netreba ... ono zasa v otazkach vyslovene sa o dokazoch nehovori a nemyslim si ze sa na to budu osobitne pytat.
Quote from: markus on 10.05.2012, 21:09:04
dokazy som pocul zevraj sa ani ucit netreba ... ono zasa v otazkach vyslovene sa o dokazoch nehovori a nemyslim si ze sa na to budu osobitne pytat.
presne tal, ved v otazkach mas jasne ze, akcna alebo denotacna semantika, a nie dokaz ekvivalenciu semantik alebo nieco take, a odpoved bude trvat nejakych 2-5 min, cize na dokazy ani nebude cas
odpoved ma byt 15 minu co som pocul :D 15minut cisto len ty rozpravas a potom sa ta pytaju
Je niekde napísané, že musíš rozprávať k veci? ;) ... môžeš o počasí, o záľubách, ... 15 minút v pohode
Otazka:
K 6tej otazke: Operacna semantika blokov deklaracii a procedur....
k tym blokom sme preberali len naturalnu - staticka, dynamicka ... ale o strukturalnej OS v prednaskach je len ze sa tym nebudeme zaoberat ... teda netreba to zrejme na statnice ze? ci ma niekto k tomu nejake materialy?
Quote from: markus on 11.05.2012, 07:09:02
odpoved ma byt 15 minu co som pocul :D 15minut cisto len ty rozpravas a potom sa ta pytaju
kde si pocul? ja som mal take 2minutky, mozno 3. 20s maly obkec, 20s napisanie vzorca, 20s vysvetlenie vzorca, 20s otazka-odpoved spravna a hotovo. Samozrejme ze ak nevies tak ti daju ine otazky, aby z teba nieco dostali...
Pozrite si archiv z min a hlavne predminuleho roku. Ak si dobre pamatam, tak niektore otazky sa netrebalo ucit, potom si to overte u Novitzkej ci aj tento rok to bude tak.
Quote from: DeViLvs on 11.05.2012, 17:42:51
Quote from: markus on 11.05.2012, 07:09:02
odpoved ma byt 15 minu co som pocul :D 15minut cisto len ty rozpravas a potom sa ta pytaju
kde si pocul? ja som mal take 2minutky, mozno 3. 20s maly obkec, 20s napisanie vzorca, 20s vysvetlenie vzorca, 20s otazka-odpoved spravna a hotovo. Samozrejme ze ak nevies tak ti daju ine otazky, aby z teba nieco dostali...
Pozrite si archiv z min a hlavne predminuleho roku. Ak si dobre pamatam, tak niektore otazky sa netrebalo ucit, potom si to overte u Novitzkej ci aj tento rok to bude tak.
v minulorocnych temach som sematniku nenasiel!
a ten vzorec bolo odvodzovacie pravidlo alebo co?
Dokopy aj s obhajobou to bude 20-25min. Cize max 5 min na stat.otazku. Aj tolko pochybujem. A dokazy nebude treba vediet.
Quote from: jardo on 11.05.2012, 17:47:34
Quote from: DeViLvs on 11.05.2012, 17:42:51
Quote from: markus on 11.05.2012, 07:09:02
odpoved ma byt 15 minu co som pocul :D 15minut cisto len ty rozpravas a potom sa ta pytaju
kde si pocul? ja som mal take 2minutky, mozno 3. 20s maly obkec, 20s napisanie vzorca, 20s vysvetlenie vzorca, 20s otazka-odpoved spravna a hotovo. Samozrejme ze ak nevies tak ti daju ine otazky, aby z teba nieco dostali...
Pozrite si archiv z min a hlavne predminuleho roku. Ak si dobre pamatam, tak niektore otazky sa netrebalo ucit, potom si to overte u Novitzkej ci aj tento rok to bude tak.
v minulorocnych temach som sematniku nenasiel!
a ten vzorec bolo odvodzovacie pravidlo alebo co?
zle si hladal, hladaj poriadne :) hint: nazov temy nesuvisi so semantikou
jj bolo to pravidlo ak ma pamat neklame.
no co sa ucite k tej axiomatickej semantike?
jak pozeram tak pozeram pevne verim ze sa vyhnem otazkam 6 a 8 :D
Bude sa tam aj pisat niekde? ... na tabulu napr. lebo ako neviem si predstavit co budem obkecavat pri druhej otazke napr. .... resp. pri vsetkych otazkach ... semantika je hlavne o tej strukture ... a slovne to popisovat si velmi neviem predstavit :) :)
Quote from: slax on 18.05.2012, 07:24:24
Bude sa tam aj pisat niekde? ... na tabulu napr. lebo ako neviem si predstavit co budem obkecavat pri druhej otazke napr. .... resp. pri vsetkych otazkach ... semantika je hlavne o tej strukture ... a slovne to popisovat si velmi neviem predstavit :) :)
bude, ale pisat mame minimalne
Ja len tak, že už je rozpis: http://hornad.fei.tuke.sk/kpi/iss/ZP/Program_Ing-SZS.htm (http://hornad.fei.tuke.sk/kpi/iss/ZP/Program_Ing-SZS.htm)
Tu su vypracovane tie okruhy na statnice http://goo.gl/8rLsc (http://goo.gl/8rLsc). Nie je tam asi vsetko pri kazdom okruhu, ale pri niektorych su asi aj take veci co netreba vediet. Vsetko je to z tohtorocnych prednasok, trochu skratene prepisane.
Thx Neo - este som to necheckoval ale mam nasledovny problem
Rozmyslam ako je to s tymi vsetkymi odvodzovacimi pravidlami a pod...
Vychadzajuc z predpokladu, ze na skuske na to bol oficialny tahak
pri uceni pravidlam nevenujem pozornost do takej miery aby som ich
bol schopny reprodukovat s pamati. ;)
Ale prave ma chytili nejake pochybnosti v zmysle co ak dostanem otazku typu:
Vedeli by ste napisat odvodzovacie pravidlo pre prikaz cyklu v naturalnej semantike? :o
Ucite sa niekto tie pravidla?
U mna to vyzera asi tak, ze ku kazdej otazke teoriu - co to je, ako to funguje, vlastnosti...
mozno nejake jedno pravidlo na demonstraciu a veci ako dokazy maximalne tak slovne
nacrtnut, ze ako by taky dokaz prebiehal, minimalne vediet povedat ze "da sa to dokazat" ;)
Akurat rozmyslam co si mam vybrat z tej celej zmesi informacii v 8mej prednaske k denotacnej semantike...
novitka hovorila, ze vela pisat nemame, ale ze je dobre napisat nejake to jedno pravidlo, ze ako to vyzera pri konkretnej semantike, ze vlastne pri vysvetlovani napises automaticky ty jedno ktore sa naucis, a tm by to malo byt vybavene (ale urcite sa novitzka nemoze zarucit zato, ze tam niekomu nepremne a nebude ta tam zmykat jak sa da)
ja len pri semantike mam strach, ze si vytiahnem nejaku otazku napr. axiomaticka semantika a tam bolo v prednaskach kolko ... 4 slajdy .... poviem zopar viet za 2 minutky a potom budu na mna pozerat, ze asi toho vela neviem ... aj ked v prednaskach nie je viac ani
tak pri axiomatickej semantike je tam ta horova logika, a tam bolo par slidov, o ktorych sa da nieco povedat
A co k denotacnej?
Tam je hlavne spusta formalnych definicii co mi velmi nepomaha.
Quote from: jardo on 22.05.2012, 16:06:56
tak pri axiomatickej semantike je tam ta horova logika, a tam bolo par slidov, o ktorych sa da nieco povedat
"da nieco povedat" ... ano ... ale to nieco vychadza na aky cas? ... maximalne 2-3 minuty mozno podla mna
by ma zaujimalo... sice je pekne ze nemame vela pisat ale ked mas napr. rozsirenia programovacieho jazyka? :D tam je to viacmenej o tych prikazoch :D ako sa definuju a vykonavaju :D to im mam len hovorit a nemam ich pisat? :D a pri viacerych otazkach ssa mi zda ze je to viac o tom ze by bolo lepsie pisat lebo hovorit tam k tomu nieje v elmi vela
Quote from: markus on 22.05.2012, 16:18:06
by ma zaujimalo... sice je pekne ze nemame vela pisat ale ked mas napr. rozsirenia programovacieho jazyka? :D tam je to viacmenej o tych prikazoch :D ako sa definuju a vykonavaju :D to im mam len hovorit a nemam ich pisat? :D a pri viacerych otazkach ssa mi zda ze je to viac o tom ze by bolo lepsie pisat lebo hovorit tam k tomu nieje v elmi vela
moje slova .... neviem si predstavit ako slovne popisujem pravidla a formalne veci ... semantika mi ovela viac pasuje na pisanie ako na obkecavanie ... tam nemas velmi co obkecavat, len PRESNE definovat veci
To je na tom krasne :D
- semantika je taka formalna a zalozena na presnych veciach co je vhodne skor pisat
- na statnici ide o to co najmenej pisat
ergo staci sa ucit ovela menej a nie tak detailne ako by tomu bolo na pisomnej skuske.
pri semantike by som bol este radsej, keby som mal niekoho kto tu semantiku uci .... zeby vedel ze tam netreba tolko hovorit ... lebo tak poviem zopar viet a budu namna pozerat a si mysliet, ze vela toho neviem :D
teda vravite, ze netreba vediet vsetky odvodzovacie pravidla spamati?
lebo keby ano tak by to bolo sialenstvo, napr. v statickej semantike pre prikaz cyklu alebo prikaz bloku, ale potom co k tomu vlastne poviem??
celkovo k tej 6tej otazke zrejme treba vediet aj dynamicku aj staticku semantiku, lebo to je podstata otazky 6 Operacna SEMANTIKA blokov, deklaracii a procedur. Cize mam teraz dilemu, ako sa ucit tuto otazku?
Quote from: Michall on 22.05.2012, 18:06:40
teda vravite, ze netreba vediet vsetky odvodzovacie pravidla spamati?
lebo keby ano tak by to bolo sialenstvo, napr. v statickej semantike pre prikaz cyklu alebo prikaz bloku, ale potom co k tomu vlastne poviem??
celkovo k tej 6tej otazke zrejme treba vediet aj dynamicku aj staticku semantiku, lebo to je podstata otazky 6 Operacna SEMANTIKA blokov, deklaracii a procedur. Cize mam teraz dilemu, ako sa ucit tuto otazku?
k statickej a dynamickej semantike netreba pravidla, len jednou vetou co to je
staticka a dynamicka je v tej otazke pri rozsireni o bloky ... tam mas dost toho co porozpravat ... takze tiez si myslim, ze staticku a dynamicku uz netreba tak podrobne
Hotovo :evica: :beer1:
Piece of cake ;) záleží od komisie no pri JPJ som ledva vymenoval synktatické oblasti, napísal jedno produkčné pravidlo a demonštroval na príklade konjunkcie - všetko písal na tabuľu.
EDIT: A100A97
obhajoba B85 statnice B82 :D prva otazka :D miestami som posplietal viac veci dohromady ale nikto nezaregistroval :D
vela sa pytali k tej otazke? ci stacilo co si povedal
ja som povedal viacmenej vsetko a nepytali sa ma skoro nic ... jednu otazocku... ale zalezi na komisii a na tom ako prednasas a odpovedas celkovo