Aky predmet si vyberate na statnice ?

[wqwq]

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

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?

je to tretia prednaska slide 8

Naturalnu semantiku prirad’ovacieho prıkazu definujeme pomocou axiomy: atd...

[roman5555]

Je uz niekde zavesený aj casovy rozvrh kedy kto ide ? a kde ?
a kedy sa budu tie videa ako prezentacie nahravat opat na stroj v skole ?

[DeViLvs]

mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?

je to tretia prednaska slide 8

Naturalnu 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

[staninko]

ku semantike treba vediet aj vsetky tie dokazy ?

[LONEr]

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

[GrindMyAss]

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

tie jednoduche dokazy sa mozno naucim ale tie sialene dlhe urcite nie a co sa tyka pravidiel vacsinu by som napisal z hlavy ale vsetky asi nie

[puq]

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

[LONEr]

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

zalezi od komisie podla mna, aj od casu. mozu/nemusia pokial v tej oblasti nemaju znalosti. zaklady budu vediet vsetci, ale taketo detaily uz podla mna nie. Ale ja sa to ucim napriklad . pre istotu

[wqwq]

mohol by si upresnit co si myslel tym ze si im tam odvodil priradovaci prikaz JPJ?

je to tretia prednaska slide 8

Naturalnu 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

tie pravidla treba vediet nie je tam ziaden tahak. a co ja viem, tak nepocital sa ziaden priklad.

[GrindMyAss]

viem ze tahak nebude ziaden...ale naucit sa vsetky pravidla urcite nebudem schopny par ich viem a par sa este naucim ale vsetky vediet nebudem co som pozeral kto je v komisii tak to su papalasi ktori sa zaoberaju prevazne databazami nemal by s tym byt nejaky problem podla mojho skromneho nazoru jedine slodicak a novitzka sa vyznaju ale ti nam urcite nebudu chciet poskodit

[Speedy2003]

nema niekto pofotene rozpisy s komisiami?

[GrindMyAss]

nema niekto pofotene rozpisy s komisiami?

daj mail poslem ti

[ApokalypS]

my sme boli dneska za Mackovou a ze to este nieje, ako si sa k tomu dostal? si mohol niekde upnut, nech vidime vsetci..

[GrindMyAss]

my sme boli dneska za Mackovou a ze to este nieje, ako si sa k tomu dostal? si mohol niekde upnut, nech vidime vsetci..

jezisko mi doniesol  

[Viper_No1]

http://hornad.fei.tuke.sk/kpi/iss/ZP/Ing_SZS_program_2011.pdf

[Padres]

No a este zlozenie komisii...

[letolto]

http://hornad.fei.tuke.sk/kpi/iss/ZP/Ing_SZS_program_2011.pdf

ale pozor, tento rozpis nie je finalny!!! do 17ho mali ucitelia dat vediet ci chcu nieco menit. zrejme uz ale nebudu ziadne rozsiahle zmeny...

[puq]

inac v prezentacie prace maju byt na poslednom slide odpovede na otazky recenzenta? tak ako to bolo pri Bc?

[Viper_No1]

to je dobrovolne myslim... skor len ak potrebujes aj nazorne nieco ukazat k odpovedi na otazku

[d3xter]

a kedy sa dozviem tie otazky?

[ApokalypS]

mal by ti ich poslat spolu s posudkom

[DeViLvs]

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.

[GrindMyAss]

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.

viem ze bola masakralna sablona pre beamer par rokov do zadu ale neviem ju teraz nikde najst...tiez by ma to zaujimalo

[sri]

idu Vam stranky KPI alebo hornad? mne uz minimalne 3 hodiny nie, aspon KPI tolko a hornad som len teraz skusil...

[puq]

nejdu...hornad nejde tiez tak asi ako pises