Messages

diky za tip jerry. ale treba vsetko co tam ma? aj take ze bezpecnost v jave alebo standardy a normy?

tak ako BVI to nebude lebo tam sa dalo ucit z prednasok. aj ked boli v anglictine tak v poznamkach toho bolo viac nez dost. tu je nic

dal som ich na pistone. ale asi ti velmi nepomozu 

stacia tieto prednasky, ked nedali profesori nic ine musi to stacit,ale lahku skusku by som necakal, vsetci viete preco

myslis tie slajdy na moodli? ved z nich sa dokopy nic neda dozvediet 

a nevie niekto ci to bude moodlovsky test alebo normalna pisomka?

caute. prajem stastny a vesely novy rok 
nevie dakto ako ma vyzerat skuska z BvPS? a su aj nejake "studijne materialy"  (teraz nemyslim tie prednasky z moodle.fei.tuke) ?

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

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 

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

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 

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

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"

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

"1. Sietove metody riesenia spojitych systemov s rozlozenymi parametrami"
to co? v prednaskach som to nenasiel, asi...

27. na skuske vravel ze nechce davat rovnake otazky taze je mozne ze tuto otazku uz neda   inac ja som tu otazku tiez nenasiel ale vraveli mi ze uplne na konci dakde na prednaske o tom bolo...

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 

[filozofi.rar - 1.19 kB]

tu su nejake tutorialy na filozofov ked dakto chce http://www.informatik.uni-hamburg.de/TGI/PetriNets/introductions/aalst/
je to po anglicky ale su tam flashove animacie taze da sa to hned pochopit 

ma niekto vypocitany priklad na tich obedujucich filozofov?

hehe a tu je vysledok mojho snazenia. urobil som v TINE filozofov. su tam 2 siete, jedna je ze beru naraz vidlicky a druha ze najprv lavu. neviem ci je to spravne ale mohlo by byt
filozofi.rar - 1.19 kB

super vdaka za rychlu odpoved 

ma niekto vypocitany priklad na tich obedujucich filozofov?

ti filozofi su (aspon ta zakladna verzia) v tych cvikach z FSS.zip co su na ftp. mna by skor zaujimalo ako sa robi ten navrh b specifikacie 
nenajde sa nejaky dobry clovek co by tu hodil nejaky vzorovy priklad?

hehe. fajne fajne. hned sa mi lepsie uci 

nj zase im o polnoci padne cely system ked sa seci naraz prihlasia 

jj. na hornade na stranke pg2 mas setko - okruhy otazok aj slajdy. klasicka ustna skuska - najprv priprava a potom kecas s nim

tha vies. mal povedat ze za ucast na prednaskach je +20 bodov na skuske a hned by mal plnsiu aulu   

heslo je fsspriklad   

diky moc za info