Sémantika programovacích jazykov

[MKI]

jak na kkt sak opisem z tahaku do konca skusky naucim co tam mam a mam ne

[MKI]

joj do riti ako sa to ucit ? setko zaradom tie vety sa tazko udrzuju v hlave

kebyze aspon nejake okruhy boli

[Ing. nemtom]

pytaju sa na hocico, nie len na to co tam mas

[MKI]

jak dokazem ze jednoduchy prog jazyk je determinsiticky ?

[Ing. nemtom]

strukturalnou indukciou na pravidla NS

[MKI]

no to som sa toho zas dozvedel

[Ing. nemtom]

tak!

[libra]

Ludia. Mali ste niekto na skuske otazku "Fixne body" ?
Treb to vediet?
Alebo je to len taky uvod do denotacnej semantiky?

[nekonecno]

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?

[Ing. nemtom]

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

[sohnog]

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

[MKI]

a priklady nebudu len zo statickej ?

priklady z nepriamej akcnej a podobne su ?

[libra]

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

[pUf]

waaa, co bude zajtra? panikaaaa

[psicho]

panika je dobra, ta prechadza do euforii, ale co bude zajtra ?

[pUf]

piece of cake.. A

[Ing. nemtom]

njn, walk in the park

[libra]

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

[Ing. nemtom]

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)

[libra]

tak uz potom chapem, ze preco si sa tesil z C-cka

EDIT:
Aky priklad si mal?

[Ing. nemtom]

dajaku funkciu vyjadrit ci co

[Ing. nemtom]

neviem, asi, ale nikde tam nebola spomenuta denotacia

[petrushka]

prosim napiste niekto kto vie ten dokaz str. indukciou ze jedn. progr. jazyk je deterministicky. PLEASE

[Ing. nemtom]

ten dokaz nemusis vediet, len povies ze sa robi strukturalnou indukciou na odvodzovacie pravidla

[Mar0sh]

no jasne...jednu vetu napisem na dokaz...ukaz aspon pre jendo pravidlo, potom to uz hned kazdy pochopi