stattnice - semantika

[slax]

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

[jardo]

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

[deCode666]

Ja  len tak, že už je rozpis: http://hornad.fei.tuke.sk/kpi/iss/ZP/Program_Ing-SZS.htm

[neo68]

Tu su vypracovane tie okruhy na statnice 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.

[Skr3k0]

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? 

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...

[jardo]

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)

[slax]

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

[jardo]

tak pri axiomatickej semantike je tam ta horova logika, a tam bolo par slidov, o ktorych sa da nieco povedat

[Skr3k0]

A co k denotacnej?

Tam je hlavne spusta formalnych definicii co mi velmi nepomaha.

[slax]

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

[markus]

by ma zaujimalo... sice je pekne ze nemame vela pisat ale ked mas napr. rozsirenia programovacieho jazyka? tam je to viacmenej o tych prikazoch ako sa definuju a vykonavaju to im mam len hovorit a nemam ich pisat? 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

[slax]

by ma zaujimalo... sice je pekne ze nemame vela pisat ale ked mas napr. rozsirenia programovacieho jazyka? tam je to viacmenej o tych prikazoch ako sa definuju a vykonavaju to im mam len hovorit a nemam ich pisat? 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

[Skr3k0]

To je na tom krasne
- 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.

[slax]

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

[Michall]

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?

[jardo]

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

[slax]

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

[Trent]

Hotovo   

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

[markus]

obhajoba B85 statnice B82 prva otazka miestami som posplietal viac veci dohromady ale nikto nezaregistroval

[jardo]

vela sa pytali k tej otazke? ci stacilo co si povedal

[markus]

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