FSS skuska

[maroccojack]

nj. viem ze je tam ten deadlock. ale neviem to osetrit a uz vobec neviem ci mu to bude vadit alebo nie. ja si myslim ze tam ide o princip. on nech si mysli co chce 

[Agamemnon]

aj oni vedia, že je tam deadlock... prečo by im to malo vadiť?

[smejooo]

aj oni vedia, že je tam deadlock... prečo by im to malo vadiť?

asi preto ze vo vseobecnosti sa snazime urobit bezpecnu siet, a nie siet nebezpecnu, tak logicky keby som ja skusajuci tak by mi to asi vadilo    

[Agamemnon]

to je o zadaní úlohy, by som povedal

[ibonis]

zdravim, su niekde na lokalke aspon ako tak dake otazky vypracovane ?  cize nech sa to clovek moze ucit rovno a nemusi to po prednaskach hladat a dokopy davat..  pripadne v pripadne nahlych vypadkov na skuske moze externu pamat pouzit..

[maroccojack]

wow super 
mozes este aj na toto nieco napisat?
Vytvore B-specifikaciu stroja M na triedenie prvkov xx z N, M sucasne podporuje operacie vkladania (INSERT), odoberania (DELETE) a zistovanie clenstva MEMBER.
diky 

tu je nieco co som stvoril ale neviem ci to tak moze byt. tu sort operacia asi len dajak pomocou nejakej fiktivnej machine ako v tom druhom priklade. ocenim navrhy na vylepsenie

Code [Select] Expand

MACHINE moje
VARIABLES xx
DEFINITIONS scope==0..10
INVARIANT xx <: scope
INITIALISATION xx:={}
OPERATIONS

  insert(n)= PRE n:scope & card({n}/\xx)=0 THEN xx:= xx \/ {n} END;
  remove(n)= PRE n:scope & card({n}/\xx)>0 THEN xx:= xx - {n} END;
  m<--member(n)= PRE n:scope THEN m:=bool(card({n}/\xx)>0) END
 
END

[Agamemnon]

imo insert:

Code [Select] Expand


insert(n) = PRE n:scope THEN xx:=xx _zjednotenie_ {n} END;


ten test na kardinalitu tam máš kvôli čomu?

zase remove by som urobil takto:

Code [Select] Expand


remove(n) = PRE n _patri_ xx THEN xx := xx - n END;


a member:

Code [Select] Expand


m <-- member(n) = BEGIN m := n _patri_ xx END;

(toto nvm, či je ok zápis... som ovplyvnený C a pod. jazykmi )

[Johny Bravo]

co robi ten scope?

[Agamemnon]

co robi ten scope?

scope máš definované ako makro : 1..10 - tj. prir. číslo od 1 po 10

[maroccojack]

takze aby som vysvetlil. testoval som to v tom ProB co sme aj na cvikach s tym robili. a vsetky 3 operacie tam fungovali ako mali.

ten test na kardinalitu tam máš kvôli čomu?

tie testy su tam len preto aby ponukalo moznost na insert (resp. remove) iba ak tam prvok nie je (resp. je)

co robi ten scope?

ten "scope" je len definition cize to robi len to ze vsade kde sa vyskytne tak to "nahradi" tym "0..10"

[Agamemnon]

takze aby som vysvetlil. testoval som to v tom ProB co sme aj na cvikach s tym robili. a vsetky 3 operacie tam fungovali ako mali.

ja som nechcel tvrdiť, že to, čo si napísal, je zlé

[maroccojack]

jj ja viem. ani som to tak nebral    to len aby sa dakomu nezdalo ze su to uplne nezmysly

[Johny Bravo]

supa , dik za program

[JBull]

No uz koncim s ucenim na zajtra...drzte palce nech sa podari

[adrian_85]

su na skuske priklady z Guarded commands?

[DuFuS]

A co vyrokova a predikatova logika? mal niekto nejaky taky priklad?

[DuFuS]

Priklady z Guarded commands na skuske asi su, kamos mal ako teoreticku trebalo spravit nutne dokazy teda tie 4 vlastnosti dokazat co je pri takom DO prikaze akoze zabite.

Inak to k tomu dead locku vo filozofoch co si beru po 1 vydlicke tak to sa da poriesit tak ze sa prida prechod ktory je odpalitelny ak kazdy z filozofov ma po 1 vydlicku, a po jeho odpaleni sa vratia vydlicky tam kam maju nie je to idealne riesenie ale ine ma nenapada. Este je problem v tom ze najprv sa berie stale prava vydlicka, to by asi chcelo spravit ze sa moze zobrat lubovolna ako prva ale nad tym sa mi nechce dumat ak dostanem na skuske tak tam budem nad tym hutat.

[JBull]

Takze konecne mam Fss z krku...ako bolo dnes na skuske? Na dozore bol Korecko a Attila...na zaciatku prisiel iba Attila a zacal davat otazky, pricom boli textom hore, cize ste mohli vybrat ake otazky chcete....ale po asi piatich minutach prisiel Korecko a vyberanie otazok skoncilo...cize iba par stastlivcov malo stastie, ze si otazky vybralo, nasledne uz otazky boli rozdavane Koreckom...Korecko teraz neodisiel, ale skoro celu skusku sedel vpredu pri stole...chodil len Attila...a ked ste sa ho nieco spytali snazil sa dost pomahat...k oprave, opravovali vsetci traja - Korecko, Attila, Hudak...Korecko s Attilom vlastne tvorili dvojicu, lebo Attila opravoval Ackovu polku pisomky a Korecko B metody...u korecka+attilu spravili vsetci...jedine Hudak vyhadzoval...a vyhodil celkom dost...

[maroccojack]

moje otazky a priklady z dnesnej skusky:

A15 predikatovy transformer wp(S,R)
B1  formalne specifikacie: motivacia, priklady, sucasny stav
1. priklad - bola nakreslena petriho siet a bolo treba pre nu vyriesit problem zivotnosti (urcit ci je ziva) a zdovodnit to
2. priklad - bol napisana pomerne jednoducha B-masina a bolo treba pre nu urobit povinne dokazy

dalsie co mali ini ludia - napr. priklad kde treba transformovat kapacitne obmedzenu siet na normalnu
potom otazky B15, B16

gl 

[DuFuS]

Juj tak to si ma teraz vystrasil este vaic ako som bol a ako si to podelili 15 na 15? Mam aspon 50 percentnu sancu na skusku? . Hudak nedaval 10b za prezenciu ako pominule terminy? Ved tam komusi pridal 10b a mal E koli tomu. Ja mam vo stvrtok termin a uz salejem doma nechapem nicomu vsetko sa mi pletie nic si nepamatam aaaaaaaaaaaaaaa.

A este otazka : ako je to s otazkami vsetko je na samostatnych papieroch, teda vyber total random? alebo su nejak skombinovane otazky?

[maroccojack]

zase az take hrozne to nebolo. myslim ze viac ako siestich nevyhodil. a tak sa mi zda ze sa kus aj snazil vytiahnut ludi ze im daval dalsie otazky cize to uz asi fakt tam nemohli mat skoro nic napisane ked ich vyhodil (bez urazky;) ). zalezi na otazkach ake dostanes. a myslim ze sa dalo aj celkom v pohode opisovat

[JBull]

zase az take hrozne to nebolo. myslim ze viac ako siestich nevyhodil.

A kolko pisomiek opravoval? mne sa zda, ze ich nebolo viac nez 10-12...cize ked niekto vyhodi 50-60% tak je to podla mna dost...ale mas pravdu, ze sa snazil vytiahnut pomocnymi otazkami...a otazky, priklady su kazde zvlast...

[maroccojack]

A kolko pisomiek opravoval? mne sa zda, ze ich nebolo viac nez 10-12...cize ked niekto vyhodi 50-60% tak je to podla mna dost...ale mas pravdu, ze sa snazil vytiahnut pomocnymi otazkami...a otazky, priklady su kazde zvlast...

nj. ked sa to vyjadri v percentach tak to nieje az take pekne cislo 

[DuFuS]

A ako si to podelili to neviete ci nejak nahodne alebo na polky alebo podla nejakeho vzorca :0 ze kto ma malo ide k hudakovi kto ma vela ide k hudakovi a kto ma tak akurat ide ku cviciacim?

[maroccojack]

tazko povedat. ja som odovzdal 3. v poradi a bol som pri atillovi a clovek co odovzdal hned po mne bol pri hudakovi. bude tam asi nejaky stochasticko nedeterministicky algoritmus