Sémantika programovacích jazykov

[Frankie]

Nehovoril niečo také, že sa dá aj priamo na skúške zapísať zápočet?

[mishelka]

aj ano.. ak tam bude.. ak tam nebude, mas smolu.. na predtermine bude urcite, na dalsich povedal ze sam nevie ci bude

[joker]

kto ide zajta?

ja som mal v plane, ale velmo ruzovo to nevidim... ale po Magse sa tam urcite stavim zapisat si zapocet...

[jaros51]

kto ide zajta?

No mozno aj ja ak sa mi bude chciet 

[Ing.Veduci]

tak potom dat vediet, ze co a ako bolo...

[tpmatus]

kedy budu dalsie terminy?

[carin]

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?

[mishelka]

nesu na to nejake okruhy otazok? do slaka sak ma urve z toho

[carin]

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  ... a mne uz z toho sibe 

[hlsman]

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.

[mishelka]

no ved tomu chapem, ale sa neviem naucit tie hlupe funkcie... co uz... uz len dve prednasky a som free woman

[Mar0sh]

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?

[mrtvyhubar]

Marosh: Ja vidim vsetko v pohode ak ta to potesi.

Neviete kde presne je ta miestnost v0002 vo V4ke?nech tam nebludim.

EDIT
richman: vdaka, mas u mna... proste vdaka

[richman]

na prizemi vpravo

[mishelka]

YATAAA!! boli tam okrem novitzkej este dvaja ludia (som ich nevidela este), ktori skusali uplne v pohode

[psicho]

YATAAA!! 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 ?

[mishelka]

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

[psicho]

velke diky, a huraaaaa do ucenia

[mishelka]

vela chuti do ucenia prajem

[Mar0sh]

su vypisane v maise

TO akoze fakt tam su vypisane? A ako sa ku nim dostanem? Lebo mne iba pise, ze nie som prihlaseny na ziaden termin (uz dost dlho ) a nijako sa neviem dostat k tomu, aby som nejaky termin videl...to su vsetky obsadene, je chybny system, alebo len ja som chybny?

[Mao]

nalavo je takato polozka, staci na nu kliknut Prihlásenie na termín hodnotenia predmetu štúdia

[Mar0sh]

dakujem

[LM]

kde su prednasky z predmetu ?

[psicho]

raz to tu uz je ale tak dam znova : 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 ?

[mrtvyhubar]

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