Quote from: wqwq on 13.05.2011, 17:05:48Quote from: puq on 12.05.2011, 01:35:10inac taka otazka pre starsich ak tu este niekto pozera akym sposobom pred rokom skusali semantiku? zakladne principy a ci tomu student rozumie? lebo tam je kopu vzorcov a dokazov, ktore pochybujem zeby mohli preskusat, jedine tiez princip dokazu...Ja som mal otazku naturalna semantika. povedal som im co to je. odvodil som im tam priradovaci prikaz jednoducheho programovacie jazyka a bolo...mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?
Quote from: puq on 12.05.2011, 01:35:10inac taka otazka pre starsich ak tu este niekto pozera akym sposobom pred rokom skusali semantiku? zakladne principy a ci tomu student rozumie? lebo tam je kopu vzorcov a dokazov, ktore pochybujem zeby mohli preskusat, jedine tiez princip dokazu...Ja som mal otazku naturalna semantika. povedal som im co to je. odvodil som im tam priradovaci prikaz jednoducheho programovacie jazyka a bolo...
inac taka otazka pre starsich ak tu este niekto pozera akym sposobom pred rokom skusali semantiku? zakladne principy a ci tomu student rozumie? lebo tam je kopu vzorcov a dokazov, ktore pochybujem zeby mohli preskusat, jedine tiez princip dokazu...
Quote from: puq on 13.05.2011, 18:36:45mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?je to tretia prednaska slide 8Naturalnu semantiku prirad’ovacieho prıkazu definujeme pomocou axiomy: atd...
mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?
ku semantike treba vediet aj vsetky tie dokazy ?
Quote from: staninko on 17.05.2011, 05:39:04ku semantike treba vediet aj vsetky tie dokazy ?co sa tyka odvodzovacich pravidiel, podla mna treba vediet, lebo by si vpodstate nemal o com tocit pri niektorych otazkach. Vynimocne mozes dostat priklad alebo dokaz.a dokazy - ja sa ucim niektore, dokaz ekvivalentnosti NS a Strukturalnou sa neucim alebo vztah denotacnej k Operacnej tiez nie.
co si myslite ohladne statickej a dynamickej semantiky? moze ich to napadnut skusat pri tej otazke ohladne deklaracii blokov a procedur? ja sa k tomu maximalne naucim ake pravidla viditelnosti su pri procedurach
Quote from: wqwq on 16.05.2011, 17:02:18Quote from: puq on 13.05.2011, 18:36:45mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?je to tretia prednaska slide 8Naturalnu semantiku prirad’ovacieho prıkazu definujeme pomocou axiomy: atd...Takze tie odvodzovacie pravidla treba vediet, ci je tam tahak ako bol na skuske? A vies o tom, ze by niekto dostal aj vypocitat nejaky priklad? Dik
nema niekto pofotene rozpisy s komisiami?
my sme boli dneska za Mackovou a ze to este nieje, ako si sa k tomu dostal? si mohol niekde upnut, nech vidime vsetci..
http://hornad.fei.tuke.sk/kpi/iss/ZP/Ing_SZS_program_2011.pdf
ti co mate prezentacie v latexu, ako robite titulnu stranu? Konkretne, ked chcem mat hore Katedru a potom este veduceho prace. Ked davam len obycajny \titlepage, tak to hadze klasika title, author, institute, date.