Author Topic: Sémantika programovacích jazykov (Read 33220 times)

MKI · « **Reply #125 on:** 30.05.2009, 20:20:14 »

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

MKI · « **Reply #126 on:** 30.05.2009, 21:09:36 »

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

kebyze aspon nejake okruhy boli

Ing. nemtom · « **Reply #127 on:** 30.05.2009, 21:09:42 »

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

MKI · « **Reply #128 on:** 31.05.2009, 19:31:49 »

jak dokazem ze jednoduchy prog jazyk je determinsiticky ?

Ing. nemtom · « **Reply #129 on:** 31.05.2009, 19:43:46 »

strukturalnou indukciou na pravidla NS

MKI · « **Reply #130 on:** 31.05.2009, 20:53:11 »

no to som sa toho zas dozvedel

Ing. nemtom · « **Reply #131 on:** 01.06.2009, 05:12:57 »

libra · « **Reply #132 on:** 02.06.2009, 03:05:35 »

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

nekonecno · « **Reply #133 on:** 02.06.2009, 03:28:40 »

Quote from: libra on 02.06.2009, 03:05:35

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 · « **Reply #134 on:** 02.06.2009, 04:34:37 »

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 · « **Reply #135 on:** 02.06.2009, 17:24:13 »

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 · « **Reply #136 on:** 02.06.2009, 22:25:58 »

a priklady nebudu len zo statickej ?

priklady z nepriamej akcnej a podobne su ?

libra · « **Reply #137 on:** 03.06.2009, 17:10:00 »

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 · « **Reply #138 on:** 04.06.2009, 05:00:38 »

waaa, co bude zajtra?

panikaaaa

psicho · « **Reply #139 on:** 04.06.2009, 13:53:02 »

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

pUf · « **Reply #140 on:** 04.06.2009, 17:47:40 »

piece of cake.. A

Ing. nemtom · « **Reply #141 on:** 04.06.2009, 17:53:11 »

njn, walk in the park

libra · « **Reply #142 on:** 05.06.2009, 16:53:02 »

Quote from: libra on 03.06.2009, 17:10:00

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 · « **Reply #143 on:** 05.06.2009, 17:49:16 »

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 · « **Reply #144 on:** 05.06.2009, 23:30:22 »

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

EDIT:
Aky priklad si mal?

Ing. nemtom · « **Reply #145 on:** 05.06.2009, 23:33:19 »

dajaku funkciu vyjadrit ci co

Ing. nemtom · « **Reply #146 on:** 06.06.2009, 00:10:32 »

neviem, asi, ale nikde tam nebola spomenuta denotacia

petrushka · « **Reply #147 on:** 10.06.2009, 21:05:19 »

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

Ing. nemtom · « **Reply #148 on:** 10.06.2009, 21:56:10 »

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

Mar0sh · « **Reply #149 on:** 11.06.2009, 01:29:33 »

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

News:

Author Topic: Sémantika programovacích jazykov (Read 33220 times)