Messages

som zvedavy co ma zajtra caka.

ake boli dnes otazky na TI??

nechce si niekto vymenit skusku ktoru ma 26.-teho na 24-teho??

Ma niekto info ohladom organizacnych veci? Kolko budu otazky, ci budu otazky v tomto zneni ako su(od kolar skuska.pdf tych 10 okruhov)  alebo budu pomiesane myslim tym ze sa vyberie niektory okruh z otazky 1 a dalsi z otazky 5 napriklad. Priklad: Charakteristika a využitie paralelných architektúr.Odvodenie redukovaného poctu procesorov pri zachovaní optimálneho paralelného algoritmu.
Daco take napriklad.

Cawte, chcem sa spýtať nechcel by si niekto vymenit bezpecnost z 10:50 na 7:30?? Sa mi to kryje s inym cvikom. Za odpoved dik

mozte niekto napisat ake ste mali otazky a ulohy?? co ste si potiahli? Cos a tyka teorie mali ste napr otaku naturalna dedukcia a mali ste k tomu psiat vsetko co viete alebo ste mali presne dane ze co. napr ako sa roby dokaz v naturalne dedukcii. alebo daco take.

cawko. mam dotaz. co treba psiat k tymto teoretickym otazkam???

B jazyk, definicia vlatnosti
sysntax struktury MASCHINE N(p) a jeho vlastnosti
Jazyk ,,guarded commands".
Sémantika Machine N(p):štruktúra povinného dôkazu korektnosti špecifikácie stroja Machine N(p).(Proof Obligation for
Machine N(p)
Mechanizmus ";" dokaz jeho korektnosti, platnosti pre vlastnosti 1-4

Neviem kde najdem odpoved v tom koreckovom PDF. dik za odpoved