Datum a cas: 19-MAY-1997 11:00 Vec: ztp Nazdar, kedze som bol ucastnikom skusky zo ZTP vo stvrtok 15.5., bol som poproseny o zdelenie mojich pocitov. Tu su: Bolo 10 prikladov, vacsinou po 15 bodov, ale boli tam aj za 10 a 20, jeden za 5. Treba sa nasprtat definicie, nakolko v niektorych prikladoch su urcite pojmy podciarknute a je treba ich zadefinovat. Oblast prikladov: I. Schemy - rozhodnutelnost, ... (bola tam nejaka trieda schem a bolo treba urcit, ci je v tejtp triede rozhodnutelna nejaka vlastnost - prekladom do janovovych schem). Z prvej state ma uz nic nenapada. II. Veci okolo inferencnych pravidiel, zadefinovat ich, ... Dokazovat spravnost sme nemali. III. Hovoria vam nieco funkcionaly? Ak nie, tak to zmente, pretoze tam toho okolo nich bolo dost. Sformulovat a dokazat vetu o pevnom bode a podobne. BTW. Prepocitajte si priklady, ktore su na Stefankovicovej stranke! Boli tam... Karol Ruckschloss Datum a cas: 26-MAY-1997 9:46 Vec: Privara - 22.5. Ahojte, sice trochu neskor, ale predsa som sa odhodlala podelit sa s Vami o dojmy zo skusky z teorie programovania... Tak tu su priklady: (Mozno boli mierne ine, zadania sme totiz vratili, takze mozno na nieco aj zabudnem.) 1. Dok., ze dve Janov. sch. su ekviv. prave vtedy, ked sa pre kazdu herb. interpr. bud obe nezastavia alebo sa zastavia a plati val(S1,I) = val(S2,I) = f_k f_{k-1} ... f_1 x. 2. Porovnajte triedy schem S a R. 3. Popiste Floydovu metodu. 4. Porovnajte sposoby indukcie v Hoare a Floydovi. 5. Def. zdrave pravidlo. Urcte, ci nasl. su zdrave (a dok.): nieco na sposob {p} repeat S until b {q} ale predpoklady si nespomeniem... nieco na sposob {p} while b do S {q} - tiez si predpoklady nespominam... (spytajte sa niekoho ineho) 6. Porovnajte semantiky M a N. N je def.: N[while b do S] = najm.horna.hr. fi_i Q_0 = omega Q_i+1 = alfa.sigma if W[b]sigma then N[S](fi_i(sigma)) else dolnik 7. Sformulujte a dokazte vetu o C_p^r a F_p. 8. Bol dany nejaky funkcional a mozno pevny bod. Bolo treba urcit, ci je to najm. pevny bod. 9. Definicia operacnej semantiky (nie vstupno-vystupna!). Len to bolo menej zretelne zadane, co vlastne treba urobit... 10. Bolo treba urcit, ci je pravidlo SPOS korektne alebo bezpecne. SPOS je sekvencny POS, t.j. najskor sa vyberu fi pomocou POS-u a potom sa v kazdom dalsom kroku zlava vzdy jedno fi nahradi. Takze nam prajem vela stastia, bude nam ho treba. ivona. Este cosi. Rata sa cca 3 hodiny, no my sme tam boli nieco vyse - 3+1/4, mozno az 3+1/2, teda ked sa budete tvarit, ze nechcete odovzdavat a jeho vyzvy budete ignorovat, je to celkom uspesna taktika. Datum a cas: 29-MAY-1997 18:27 Vec: ztp dobry den prajem ti stastnejsi co uz maju ztp za sebou uz tento mail asi spokojne zmazali ostatni ak chcete citajte... zlozenie bolo klasicke cize my Privara a 10 prikladov. za vsetky zopar co si pametam... rozhodnutelnost zastavenia na standardnych a dosiahnutelnych schemach prelozitelnosti priechodnych a dosiahnutelnych mame nejaky >loop S1 when b break S2 pool< ... skonstruujte k tomu ekvivalentnu zalezitost v strukturovanych schemach a inferencne pravidlo... dokazte ze je zdrave napiste co najviac kalerabov na konstrukciu spravnych programov pomocou Hoareovej metody skonstruujte takto program ktory triedi pole pomocou select-sortu (* vyberie sa minimalny prvok a da sa na zaciatok... go to *) definujte denotacnu a operacnu vstupno vystupnu semantiku. dokazte ekvivalenciu zadefinujte bezpecne a korektne vypoctove pravidlo. vymyslite (opiste) vetu o vytahu medzi nimi a dokazte zistit ci je cosi najmensi pevny bod dokazte C1 ->s C2 je podmnozina C1 ->m C2 kde C1 je diskretne cpo. co ak nebude diskretne? rozhodnutelnost izomorfizmu na volnych schemach ... no... dufam ze to mam za sebou prajem vela stastia a dobre ukryte skripta a lucim sa koza Datum a cas: 26-MAY-1997 9:46 Vec: Privara - 22.5. Ahojte, sice trochu neskor, ale predsa som sa odhodlala podelit sa s Vami o dojmy zo skusky z teorie programovania... Tak tu su priklady: (Mozno boli mierne ine, zadania sme totiz vratili, takze mozno na nieco aj zabudnem.) 1. Dok., ze dve Janov. sch. su ekviv. prave vtedy, ked sa pre kazdu herb. interpr. bud obe nezastavia alebo sa zastavia a plati val(S1,I) = val(S2,I) = f_k f_{k-1} ... f_1 x. 2. Porovnajte triedy schem S a R. 3. Popiste Floydovu metodu. 4. Porovnajte sposoby indukcie v Hoare a Floydovi. 5. Def. zdrave pravidlo. Urcte, ci nasl. su zdrave (a dok.): nieco na sposob {p} repeat S until b {q} ale predpoklady si nespomeniem... nieco na sposob {p} while b do S {q} - tiez si predpoklady nespominam... (spytajte sa niekoho ineho) 6. Porovnajte semantiky M a N. N je def.: N[while b do S] = najm.horna.hr. fi_i Q_0 = omega Q_i+1 = alfa.sigma if W[b]sigma then N[S](fi_i(sigma)) else dolnik 7. Sformulujte a dokazte vetu o C_p^r a F_p. 8. Bol dany nejaky funkcional a mozno pevny bod. Bolo treba urcit, ci je to najm. pevny bod. 9. Definicia operacnej semantiky (nie vstupno-vystupna!). Len to bolo menej zretelne zadane, co vlastne treba urobit... 10. Bolo treba urcit, ci je pravidlo SPOS korektne alebo bezpecne. SPOS je sekvencny POS, t.j. najskor sa vyberu fi pomocou POS-u a potom sa v kazdom dalsom kroku zlava vzdy jedno fi nahradi. Takze nam prajem vela stastia, bude nam ho treba. ivona. Este cosi. Rata sa cca 3 hodiny, no my sme tam boli nieco vyse - 3+1/4, mozno az 3+1/2, teda ked sa budete tvarit, ze nechcete odovzdavat a jeho vyzvy budete ignorovat, je to celkom uspesna taktika.