TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2008/2009 => 4. ro?ník => Topic started by: psicho on 04.03.2009, 15:26:52
-
pekny predmet :)
-
ved treba zalozit pre kazdy predmet topic :evica: alebo aj tri pre jeden predmet jeden topic pre prednasky druhy pre cvika a treti pre skusku.
-
mna to tiaz mrzelo, ze SPJ este nema topic, ale zeby az tak... :D
-
neviem, ale vcera sme uz mali cviko so slodicakom, nie s novitzkou...
-
viem, ze uz je v skole, preto sa pytam..
ale mi deel pisal teraz, ze hovorila, ze nebude.....
nam slodicak daco spominal, ze aj buduci tyzden budeme riesit este to iste, lebo ze stvrtok odpadne cviko, takze s nimi to bude musiet cvicit az buduci stvrtok
neviem to naisto, este nech to potvrdia ostatni co boli na cviku 13:30
-
ja osobne by som tam pre istotu nechodil :)
-
hovorila minule ze nebude, ale ja som zabudol a bol som tak jak kkt, omg, debiiiiiiiiil som
-
hovorila minule ze nebude, ale ja som zabudol a bol som tak jak kkt, omg, debiiiiiiiiil som
:ohmygod:
kto nema v hlave, ma v nohach. Ne Nemton? :P
-
nj, foter vzdy hovori ze zabudlivost neboli, len vela treba chodit
-
V ktorom týždni je písomka? V tomto alebo až o týždeň?
-
10 (az o tyzden)
-
taja maximalne nic neviem z tohto predmetu :( som tuu dumb for this kind of shit ,4 real
-
prednasky kde najdem ?
-
http://hornad.fei.tuke.sk/predmety/spj/ (http://hornad.fei.tuke.sk/predmety/spj/)
login: spj
pass: ********* ;D (Semantika)
-
more taja to neviem vytlacit , ked dam tlacit ta mne to hadze dake salene znaky hore dole po strane :(
-
inak dasa dakde na nete najst dajake inaksie priklady ako sme mali na cviku ?
-
naco ti, aj tak ine nebudu....
-
toto ti neverim
-
chcelo by to viac vysvetlivok viac prikladov...
-
one question: toto cviko v siestom tyzdni musime zapisovat tak jak sme zapisaovali an cviku ale mozme to zapisovat tak ako to je v prednaske 4 strana 10 ?
-
tie odvodzovacie pravidla treba naspamet alebo budu volne dostupne na pisomke ?
-
tie odvodzovacie pravidla treba naspamet alebo budu volne dostupne na pisomke ?
ja by som forumlov natahak alebo volne dostupne ? :D
a pokade sa ucite ?
-
nam nadiktoval ze na pisomke bude : vyrazy, derivacny strom, rozsirenie syntaxe, def. semantika , trivialny program NS a SOS
-
to znamena ze taky priklad ako je v cviku v siemdom tyzdne bude ci ne ? :D
-
kto mi vie vysvetlit ako sa robi to ked treba jeden prikaz vyjadrit pomocou ineho prikazu/ prikazov ?
-
neoskenuje niekto piaty a siesty tyzden ? bo ja z toho asi envyjdem thanks
-
definitivne potrebujem vediet, ci tie pravidla (pre postupnosti, podmienky, cykly,...) budu k dispozici, abo si mam robit tahaky
-
neoskenuje niekto piaty a siesty tyzden ? bo ja z toho asi envyjdem thanks
www.fero87.ic.cz/hue (http://www.fero87.ic.cz/hue)
-
po ktore cviko sa treba ucit ??
-
No SOS bola na 6.cviceni, a z toho co nam nadiktoval mi vychadza ze SOS by malo byt posledne co sa treba ucit... dobry predpoklad?
-
napiste niekto ake priklady ste mali pls
-
no easy to bolo
je 10 skupin dokopy taze asi nebudete mat to iste ale..
1., 2. pridat nieco do semantiky - ja som mal pre expressions pridat abs(e), a pre bool pridat b1 nand b2
3. vyjadrit semantiku 11100
ta to len nadefinujes ze E[[abs(e)]] = E[[e]] ak E[[e]] > 0 a E[[-e]] ak <0
4 daco s volnymi premennymi (FV) ale to som ani nevedel co je..
jak znelo zadanie>
potom jeden program asi taky ze P=if x<5 then x:= x+2 else x:=x*2; y:=x+1
zadanie znelo ze najdite volne premenne pre vyraz e*e
no a ktomu programu trebalo spravit 5. naturalnu, 6. operacnu 7. strom
ale tak hovoril ze nebude hodnotit ci velmi prisne ;)
-
FV(e1 * e2) = FV(e1) zjednotene s FV(e2)... je to na druhej prednaske (dufam ze je to toto)
este podotknem k siedmej ulohe, ten strom treba na program, cize si treba to pozriet vobec neviem kde, kedze sme to nebrali....
-
co sa tyka tych stromov, tak tipujem ze prednaska c.2 strana 12...tam su produkcne pravidla...a to spojit s prvym cvikom..tam sa robil nejaky strom...teda aspon tak by som to robil....nieco podobne sme mali minuly semester na Teorii typov...tam boli take stromy.....ale to vsetko su len moje dohady, tak ziadnu paniku...urcite je to nieco primitivne :)
-
len tato skupina bola dnes?
+ co bolo k dispozici na "oficialnom tahaku" .. bol vobec nejaky?
-
co sa tyka tych stromov, tak tipujem ze prednaska c.2 strana 12...tam su produkcne pravidla...a to spojit s prvym cvikom..tam sa robil nejaky strom...
urcite je to nieco primitivne :)
Suhlasim s tymto nazorom. Veduci k tomu tahaku: pochybujem ze nejaky bude, sak nespominali to + to az ku skuske take ulavy budu...
-
tahak neni, strom je easy
-
Bola včera prezenčka na prednáške?
-
a nabuduce bude prednasat Slodicak, takze je tu sanca, ze nabuduce bude ;)
-
uz nebude
-
Oznam pre tych, co mali malo bodov: dnes slodicak povedal na cviku, ze z vysledkov pisomiek usudil, ze by asi mohol dat opravny termin. Na tento termin sa mozu vsak hlasit len ludia, ktori budu mat CELKOVY pocet bodov mensi ako polovicu (cize by nemali zapocet). Otazky bude vymyslat vraj nove (i ked si myslim ze podobneho typu). Kedy bude, to nepovedal. ;)
-
Oznam pre tych, co mali malo bodov: dnes slodicak povedal na cviku, ze z vysledkov pisomiek usudil, ze by asi mohol dat opravny termin. Na tento termin sa mozu vsak hlasit len ludia, ktori budu mat CELKOVY pocet bodov mensi ako polovicu (cize by nemali zapocet). Otazky bude vymyslat vraj nove (i ked si myslim ze podobneho typu). Kedy bude, to nepovedal. ;)
a opravna bude za max 15b. (takze uz nebude sanca na full zapocet ..)
-
NAčo by aj bol full zapich :)
-
ja by som mal keby som bol na vsetkych prezenckach
-
ja by som mal keby som bol na vsetkych prezenckach
a teraz co? haaaa? robis machra? :P
-
jj :P
-
KEDY, KDE O JAKEJ ZAPISUJE SLODICAK ZAPOCTY??? (lebo povedal, ze toho tyzdna bude uz len jedno hromadne cviko, nie...?!)
-
hornad.fei.tuke.sk/~slodicak/skola/spj
-
u neho v kancliku (co neviem kde je ani ja :D)
-
u neho v kancliku (co neviem kde je ani ja :D)
http://hornad.fei.tuke.sk/kpi/person/slodicak/kpicard.php (http://hornad.fei.tuke.sk/kpi/person/slodicak/kpicard.php)
-
Nehovoril niečo také, že sa dá aj priamo na skúške zapísať zápočet?
-
aj ano.. ak tam bude.. ak tam nebude, mas smolu.. na predtermine bude urcite, na dalsich povedal ze sam nevie ci bude
-
kto ide zajta?
ja som mal v plane, ale velmo ruzovo to nevidim... ale po Magse sa tam urcite stavim zapisat si zapocet...
-
kto ide zajta?
No mozno aj ja ak sa mi bude chciet :)
-
tak potom dat vediet, ze co a ako bolo...
-
kedy budu dalsie terminy?
-
Ako bolo na predtermine? Otazky su podobne ako boli na TT, ze je iba nejaky okruh dany, alebo konkretne formulovana otazka?
A ako s tymi dokazmi a prikladmi? Su kratke?
Aky priklad ste mali?
-
nesu na to nejake okruhy otazok? do slaka sak ma urve z toho :D
-
No ona v podstate nedava otazky... Aj na TT bola otazka jeden okruh, a popisat co vies o tom. Takze mam zlu spravu - treba sa asi naucit vsetko bu ... a mne uz z toho sibe :whacko:
-
neprezivajte to tolko, ja som sa zacal ucit po skuske z magsa a na predtermine som to dal za A. neje toho vela. A91 preto, lebo som nevedel naco sa pouziva abstraktny stroj, teda aky to ma vsetko vyznam, skratka pouzitie.
-
no ved tomu chapem, ale sa neviem naucit tie hlupe funkcie... co uz... uz len dve prednasky a som free woman :emot-dance:
-
akoze uz ma to fakt jebe...ten vyjebany system, ze nevidim ziadne terminy na ziadne skusky...samozrejme okrem magsy, co som uz spravil...vy vidite nejake terminy na nejake skusky?
-
Marosh: Ja vidim vsetko v pohode ak ta to potesi. bq
Neviete kde presne je ta miestnost v0002 vo V4ke?nech tam nebludim.
EDIT
richman: vdaka, mas u mna... proste vdaka
-
na prizemi vpravo
-
YATAAA!! :D boli tam okrem novitzkej este dvaja ludia (som ich nevidela este), ktori skusali uplne v pohode :)
-
YATAAA!! :D boli tam okrem novitzkej este dvaja ludia (som ich nevidela este), ktori skusali uplne v pohode :)
a trosku blizsie k skuske :) pliiz co ako kedy preco zaco ?
-
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)... napises, pride k tebe, vysvetlis mu a mas znamku :)
na tahaku su vsetky pravidla az po abstraktny syntakticky stroj a denotacne semantiky obidve, takze v pohode.. tusim aj tie funkcionaly su tam definovane k tym pravidlam..
akcna semantika v tahaku nie je..
kto chce vidiet tahak, mam info ze si ho moze prist prezriet k novitzkej alebo slodicakovi, ale na web ho dat nemozu
-
velke diky, a huraaaaa do ucenia
-
vela chuti do ucenia prajem :)
-
su vypisane v maise
TO akoze fakt tam su vypisane? A ako sa ku nim dostanem? :D Lebo mne iba pise, ze nie som prihlaseny na ziaden termin (uz dost dlho :D ) a nijako sa neviem dostat k tomu, aby som nejaky termin videl...to su vsetky obsadene, je chybny system, alebo len ja som chybny? :D
-
nalavo je takato polozka, staci na nu kliknut :) Prihlásenie na termín hodnotenia predmetu štúdia
-
dakujem :D
-
kde su prednasky z predmetu ?
-
raz to tu uz je ale tak dam znova : http://hornad.fei.tuke.sk/predmety/spj/Prednasky/ (http://hornad.fei.tuke.sk/predmety/spj/Prednasky/)
spj a Semantika su udaje na prihlasenie
a teraz dakto by mohol napisat kde dal slodicak tie priklady ?
-
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;
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ý.
-
a co je natom oficialnom tahaku ?
-
hmm ta bude interesting skuska
-
a co je natom oficialnom tahaku ?
-
na tahaku su vsetky pravidla az po abstraktny syntakticky stroj a denotacne semantiky obidve, takze v pohode.. tusim aj tie funkcionaly su tam definovane k tym pravidlam..
...
kto chce vidiet tahak, mam info ze si ho moze prist prezriet k novitzkej alebo slodicakovi, ale na web ho dat nemozu
-
taze ked sa ucim dynamicku, staticku kombinovanu semantiku tak sami netreba ucit tie pravidla ? opisem ich z tahaku ze ? tak k teorii ,ze ? alebo ni ?
-
taze ked sa ucim dynamicku, staticku kombinovanu semantiku tak sami netreba ucit tie pravidla ? opisem ich z tahaku ze ? tak k teorii ,ze ? alebo ni ?
a musis vediet co znamenaju, budu od teba chciet ak sa to tvojej otazky tyka (cize napr. dostanes: definujte naturalnu semantiku, co to je, blaboly okolo toho - tak si napises svoje a potom on bude od teba chciet aj pravidla naturalnej semantiky povedat ze o com su a co robia)
-
na tahaku su vsetky pravidla az po abstraktny syntakticky stroj a denotacne semantiky obidve, takze v pohode.. tusim aj tie funkcionaly su tam definovane k tym pravidlam..
...
kto chce vidiet tahak, mam info ze si ho moze prist prezriet k novitzkej alebo slodicakovi, ale na web ho dat nemozu
taze su tam aj tie funkcie na preklad programu do instrukcii abstraktneho stroja ?
-
jooj boze boze, a inak ako hodnotia ? mierne ? staci malo ku kazdemu a som presiel? alebo treba vela a itak som nepresiel ? :)
-
jooj boze boze, a inak ako hodnotia ? mierne ? staci malo ku kazdemu a som presiel? alebo treba vela a itak som nepresiel ? :)
Myslim, ze hodnotia v pohode vsetci (aspon minuly stvrtok, co bola Novitzka, Verbova aj Mihalyi). Ja som chcel ist ku Verbovej, ale furt ma niekto predbehol, tak som isiel ku Novitzkej a mozno hodnotila este lepsie ako ti dvaja. Este jedna vec - Novitzka sa nepozera na zapocet, ostatni hej, takze kazdy zacina akoby od nuly. Minule spravil asi kazdy, tak snad ta to potesi ;-)
-
kurna este aj dokazy su...
jooooj ja tak neznasam dokazy... slak aby to trafil...
NEZNASAM SPJ...
ja to asi prvykrat vidim na dalsi termin, lebo sa mi to nejako nechce natlacit do hlavy.
Ved staticky semantiku jednoducheho jazyka s blokmi som sa ucil cca 2 hodiny...
ved to je na hlavu...
-
sakra, preco sa neaplikuje pristup kollara, alebo sobotu...
ved to by som bol ako rad :)
kurna more, ale tak som presiel zhruba 7 prednasok, a idem mi puknut hlava, a o tom ze mam dokazat ze nieco je deterministicke som nevidel ani ciarku, hoci predpokladam ze by som to asi nejako dokazoval, ale v prednaskach je napisane az:
Ak alfa => alfa` a alfa=> alfa`` potom alfa`=alfa``
akoze fakt, veta je, ale dokaz vsetho vsudi chybi :)
to aby som zajtra a v stredu este pekne dlho posedel nad tymi vecami, ale zatim co som videl tak priklady by som asi dal ak by som mal pravidla :).
Inaksie ten tahaj je robeny tak ze vsetky pravidla co tam su, idu presne tak ako su v prednaskach, takze ked ma niekto chut tak nech spravi taky tahacik :) ...
slak aby do rana vsetko trafil, vecer si asi spravim tahak aby som si to odskusal v stredu aj s tahakom a chcem si prejst aj priklady a dokazy co su v prednaskach ci by som s tahakom vedel...
Inaksie akeho somara napadlo spravit z tohto povinny predmet, doteraz som si myslel ze silny odpor pocitujem iba voci predmentom doc. Havliceho, ale zistujem ze predmety prof. Novitzkej mi zacinaju byt akosi tiez proti srti :)
to este aj predmety od prof. Hudaka boli asi lepsie :)
-
dokazy sa ucte, jedna samostatna otazka je cast dokazu... odporucam to vediet, aspon cosi mate iste ak sa ostatne netrafite...
LM tento predmet je podla mna absolutne jednoduchucky, (ok, ked nepocitam slodicakove prednasky, tie su killer) oproti havlicemu alebo hudakovi uplna lahoda. Da sa to naucit, len tomu treba chapat.. Uc sa tak, aby si to vedel s tych pravidiel vsetko odvodit (teda napr. definiciu naturalnej semantiky odvodis z pravidiel lahucko)... ostatok sa, bohuzial, uz len biflit...
-
hmm ta ta posledna veta ze sa bilflit to neni velmo vysokoskolska veta :D a sa mi vobec nelubi
teda ja som zasadny odporca biflenia biflovanie este nikdy nikomu nepomohlo :D (a biflovanie je zabijak kreativity :))
-
inak tahakovat sa da ?
-
inak tahakovat sa da ?
da sa tahakovat a aj radit sa da, niekedy tam bol dost velky hluk, ked si novitzka odskocila, ale tym dvom skusajucim to ocividne nevadilo :D
-
este taka strasne podstatna otazka, pisem na vlastny papier alebo na ich dajaky gadzi papier ?
-
este taka strasne podstatna otazka, pisem na vlastny papier alebo na ich dajaky gadzi papier ?
papier dostanes - taky velky :)
-
inak to take Ecko sa eni neda ziskat ni? ked vsecko treba mat ne ? ale toto je jaka kktina, nemoze byt kazdy vsevediaci pice
-
za aky cas (kolko dni) sa to da vsetko naucit ?? :)
-
fakt by sa mohol este dakto podelit ake mal otazky
-
fakt by sa mohol este dakto podelit ake mal otazky
ja som mal nenormalne stastie pri tahani - vsetky otazky som mal ohladom naturalnej semantiky:
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 oblubena veta odteraz:
pouzitie semantickych rovnic pre dodanie induktivnych definicii kompozicnych semantickych funkcii zobrazujucich streomy do semantickych entit.
Vedel by mi niekto vysvetlit co tato veta znamena ?
-
ako oblubena veta odteraz:
pouzitie semantickych rovnic pre dodanie induktivnych definicii kompozicnych semantickych funkcii zobrazujucich streomy do semantickych entit.
Vedel by mi niekto vysvetlit co tato veta znamena ?
hej ta veta sa aj mne lubi, zrejme clovek ktory vyrabal tie slajdy ,velke znalosti o pedagogii nemaa , ale zato dokonale ukazal aku ma slovnu zasobu cudzich slov
-
ako keby napisali polopate:
ma t orovnice co definuju nejake funckie.
tie funkcie nejako zobrazuju stromy do entit.
ale i tak je to zlozite :)
-
dakde som cital alebo od dakoho pocul uz neviem, ze clovek ftedy chape dajakej problematike ked tu vec vie vysvetlit aj uplne polopasticky , hocjakemu na ulici
a potom ked clovek precita taketo prezentacie.........tak potom sa ja nepostupam k zaverom :D respektive k zaverom som dospel , len ich tu nenapisem :D
-
Naturálna, operačná a denotačná sémantika pre rozšírenie S:=...l for c1 to c2 do S;
nechce sa toto dakomu zverejnit jak to na vypadat?
-
nemton:
naturalna:
pre 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[] = ff pises ze sa nevykona nic z cyklu
pre strutruralnu pises:
<for c1 to c2 do S, s> => <if 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[], S ° c1:=c1+1 ° g, id)
myslim ze takto by to malo byt.
-
sakra, znacky pre bolt to cuca :)
-
to na skuske moze byt aj taky priklad ze denotacna semantika pre program kdesu procedury ?
-
Ja akurat tolko viem, ze nebudu priklady na staticku semantiku...
A ja niiiiic neviem :( nic
-
ja viem spravit syntax a semantiku pre osmickove|hocijake cisla :D cool
-
to je supeeer :buttrock:
a dalsich 99 percent tiez ovladas?
-
daco hej daco ne, snad dajak vykecam
-
no jak dneska? jaka percentualna uspesnost?
-
dobre dobre... i ked pri novitzej je priemer A a pri slodicakovi C ap
ale inak fajn...
BTW: kto by chcel ist na skusku 4.juna, nech sa ozve.... uvolnim miesto :hug:
-
ale brutalne zalezi od toho slodicak aku ma stastnu ruku
-
novitzka rulez, neni ocom, neni ocom, respekt...
-
dostal som otazku "C alebo pridete nabuduce?" odpoved je snad kazdemu jasna :D
-
d :P
-
dostal som otazku "C alebo pridete nabuduce?" odpoved je snad kazdemu jasna :D
nj, takze kedy ides nabuduce opravit na A ? :D
-
akoze akoze ako tie deifnicie (fixne body) slodicakove v denotacnej smentike a tie dokazy porovnanie denotacnej a opracnej smentikyy
treba vediet ?
-
a tiez ci treba staticku a abastraktny stroj vediet :)
-
cim vac viiiiiiiis, tym lepsie, viiiiiiiiiis?
-
joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom
hehe, este aj novitzka sa so mna smiala :)
-
to si urobil naschval, aby si mal A-cko, vsak? ;)
-
joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom
hehe, este aj novitzka sa so mna smiala :)
nic pravdy, tam som bol, nic sa z toho nestalo, sama loz a podvod, novitzka sa smiala namna lebo som nanu zmurkol
-
to si urobil naschval, aby si mal A-cko, vsak? ;)
citim sa pred tebou ako vyzleceny zo siat :)
-
joooj fajna prihoda:
odpovedam a hram sa s plastovzm perom.
drziak do vrecka co mate na peru, tak som sa s nim hral a zrazu drziak prask
a drziak vzletel von oknom
hehe, este aj novitzka sa so mna smiala :)
nic pravdy, tam som bol, nic sa z toho nestalo, sama loz a podvod, novitzka sa smiala namna lebo som nanu zmurkol
vedeli sme o tebe ze si divny a teraz uz aj vieme rpeco :)
-
este by ste mohli popisat ake boli priklady
robil niekto ja neoficialny tahak ?
-
na kkt ti tahak, ajtak ta preskusaju ustne, inak malo par ludi vytlacene prezentacie
-
jak na kkt sak opisem z tahaku do konca skusky naucim co tam mam a mam ne :D
-
joj do riti ako sa to ucit ? setko zaradom tie vety sa tazko udrzuju v hlave
kebyze aspon nejake okruhy boli
-
:) pytaju sa na hocico, nie len na to co tam mas
-
jak dokazem ze jednoduchy prog jazyk je determinsiticky ?
-
strukturalnou indukciou na pravidla NS
-
no to som sa toho zas dozvedel :)
-
tak!
-
Ludia. Mali ste niekto na skuske otazku "Fixne body" ?
Treb to vediet?
Alebo je to len taky uvod do denotacnej semantiky?
-
Ludia. Mali ste niekto na skuske otazku "Fixne body" ?
Treb to vediet?
Alebo je to len taky uvod do denotacnej semantiky?
ja som mal otazku: Ako je vyjadrena denotacia cyklu? Co je to monotonna fcia? Spojita fcia? Funkcional? A co je to fixny bod?
-
vsetko treba vediet, ale ked nevies neni problem, da sa vykecat, dost pohodova skuska, ale ja som uz po nej, takze to berte s rezervou... pred nou som bol kus zosraty, hlavne ked som precital priklad :D
-
inac ako je to s tymi dokazmi?..lebo ako tak pozeram prednasky, tak je tam asi 6 dokazov...ako teda boli polozene otazky?..napr ze: dokazte ekvivalenciu natur. a struktu.oper. semantiky? alebo dokazte to pre napr postupnost prikazov?...ako bolo toto formulovane?..nech viem naco sa pripravit...diki moc za kazdu odpoved
-
a priklady nebudu len zo statickej ?
priklady z nepriamej akcnej a podobne su ?
-
Kto z vas uz videl ten oficialny tahak:
Su tam aj prekladove rovnice a semantika instrukcii abstraktneho stroja?
Teda tie veci, ktore potrebujem pri tom dokaze...
-
waaa, co bude zajtra? :'( panikaaaa :'( :'(
-
panika je dobra, ta prechadza do euforii, ale co bude zajtra ? :D
-
piece of cake.. A
-
njn, walk in the park
-
Kto z vas uz videl ten oficialny tahak:
Su tam aj prekladove rovnice a semantika instrukcii abstraktneho stroja?
Teda tie veci, ktore potrebujem pri tom dokaze...
Tak som si to pozrel "live", a mozem potvrdit, ze pre abstraktne stroje su v tahaku okrem instrukcii aj prekladove funkcie (preklad aritmetickych a boolovskych vyrazov), takze sa ich netreba ucit :)
A co sa tyka prikladov, netreba sa zlaknut, ked dostanete nejaky "exoticky" priklad - staci nieco napisat na papier podla pravidiel, aby tam nieco bolo, a u pani Novitzkej staci skutocne len povedat, ze ako sa to ma robit, na co davat pozor,... (napr. dynamicka naturalna semantika: pri blokoch ze sa pri opusteni bloku maju aktualizovat premenne, inac rovnake, ako klassicka naturalna semantika...).
Narovinu mi povedala, ze priklad nechce vidiet, len jej mam porozpravat o tom, ako som to robil...
GL kazdemu, kto este nebol..
-
ja som to dotiahol este dalej, k prikladu som nemal ani ciarku a som jej povedal ze netusim jak to treba pocitat a sme to spolu vypocitali (ona pocitala, ja som kukal a pocuval)
-
:D tak uz potom chapem, ze preco si sa tesil z C-cka :)
EDIT:
Aky priklad si mal?
-
dajaku funkciu vyjadrit ci co
-
neviem, asi, ale nikde tam nebola spomenuta denotacia
-
prosim napiste niekto kto vie ten dokaz str. indukciou ze jedn. progr. jazyk je deterministicky. PLEASE :)
-
ten dokaz nemusis vediet, len povies ze sa robi strukturalnou indukciou na odvodzovacie pravidla
-
no jasne...jednu vetu napisem na dokaz...ukaz aspon pre jendo pravidlo, potom to uz hned kazdy pochopi ;)
-
no ludze zajtra budu flipy ne take :D
-
hmm to este su skusky? ...hmm jasom mal tento semester dajake ? ... uz nepamatam :(
-
no a tu vidno jaky si jebo ze tu aj tak chodis checkovat :D:D:D
-
no jasne...jednu vetu napisem na dokaz...ukaz aspon pre jendo pravidlo, potom to uz hned kazdy pochopi ;)
ja som mal tu otazku, nic som nemusel dokazovat, iba na toto sa pytala ze co treba dokazat, tam co je v prezentacii tie stavy ze sa rovnaju