TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2009/2010 => 4. ro?ník => Topic started by: sri on 10.05.2010, 06:22:07
-
Zdravim, potrebujem zistit, kedy (v ktorych tyzdnoch) boli prezenčky na prednaskach z FSS ... hlavne ma zaujima prva, lebo na tej niesom :( Dakujem
-
Pocujte ludkovia, vyzna sa niekto dostatocne vo farbenych petriho sietach a mohla by som sa ho popytat na par veci? kludne aj za odmenu ked sa v tom vazne vyzna :-) 305416297
-
Pocujte ludkovia, vyzna sa niekto dostatocne vo farbenych petriho sietach a mohla by som sa ho popytat na par veci? kludne aj za odmenu ked sa v tom vazne vyzna :-) 305416297
korecko by mal vediet :) mozno aj iwetka :)
-
Zdravim, potrebujem zistit, kedy (v ktorych tyzdnoch) boli prezenčky na prednaskach z FSS ... hlavne ma zaujima prva, lebo na tej niesom :( Dakujem
nikto nevie? ???
-
na zaciatku dve za sebou boli prezencky... tusim 2 a 3 prednaska?
-
na zaciatku dve za sebou boli prezencky... tusim 2 a 3 prednaska?
ja si pamatam ze boli 2 za sebou, akurat ja sa nazdavam ze v 3 a 4 tyzdni, resp. tak si pamatam... kto by skusil sa opytat aj ostatnych ludi, kto koho pozna?
-
kto este neodovzdal zadanie, dalsia moznost je v piatok o 9.30 v jeho kancli
-
tento piatok hmm? a potom? :/
-
potom mas myslim dva tyzdne, tak by bolo dobre mu asi napisat maila
-
ze vraj podla vedenia by sa to malo do 18.5. vsetko stihnut, potom uz len vynimocne pripady.. (tych co nestihnu do 18. bude evidovat ako vynimocne pripady, ale nebude velmi rad, ked mu budu po jednom chodit atd.)
-
no tak pockat, to teraz nechapem.. to myslis vsetky predmety, alebo len toto FŠS?
-
hovoril to Korecko, ale vyzeralo to tak, ze asi to plati aj na vsetky ostatne predmety = ze je to nariadenie "zhora" ... ale neviem, urcite kazdy vyucujuci to bude inak brat, treba sa opytat
-
nevie niekto robit zjemnenia, pripadne aspon poskytnut jednoduchy a zrozumitelny navod, ako spravit korektne nejake jednoduche zjemnenie? praca na par minut, maximalne hodinu, odmena ista ;)
-
Ahojte. Co sa tyka skusky, tak da sa orientovat podla tych otazok, co ma p.Korecko na stranke http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf (http://hornad.fei.tuke.sk/~korecko/fss/FSS_SpZ_teoretOtazky.pdf)? (konkretne neviem ci my sme SpZ)
-
Na kane FTP boli materialy nejake na FSS, ale uz to nejde, nema ich niekto?
Alebo akekolvek ine materialy...
-
cosi je na ftpcku s adresou tuke.mafo.sk ;)
-
Takze dnes sme boli 4, z toho jednemu Korecko hned opravil = A. A my traja sme museli cakat asi do 11:00, potom si nas Hudak pozyval :03:. Dusil nas tam snad 10 minut kazdeho. Z toho sme dvaja nespravili a jeden spravil. Otazky neboli tazke, aj som mal zapisane tri strany, teoria v podstate komplet, jeden priklad s chybami a jeden som nevedel. Zacal sa pytat na uplne ine veci (matematicke definicie, okolo vektorov veci a kadeco)... Skoda no, lebo lahsie to uz nebude.
Otazky cca:
1. uvod FM, sucasnost, priklady, motivacia
2. zivost, RP
3. nakreslit PS pre obedujucich filozofov, s tym ze tam moze dochadzat k deadlocku a neberu sa obe vidlicky naraz....
4. nejake vyratanie pre-podmienok
No a mozem sa to zase ucit :'(.
-
pici s takym predmetom i hudakom
-
fasa, minuleho roku vraj pohoda a teraz... :/
-
teraz boli na skuske styria ci kolki :D ine to bude 01.06
-
chcel by som zdielat tvoj optimizmus :D
-
Doplnim, ze priklady na prepodmienky boli tie co boli na cviku, [PRE X>0 THEN y=y/xEND](y>1), [CHOICE SS:= SS U{xx} |||bb:=TRUE OR bb:=FALSE ](xx patri SS)
Teoria bola taka ako napisal Killian
Ja som odvzdal prvy, Korecko mi hned opravil, 9.20 som uz mal vysledok->A 98 :beer1:
-
nejake materialy, prednasky okrem toho co je na koreckovej stranke?
z coho sa ucit?
-
ak medzi otazkami nie je napr problem deadlocku, pokrytia, reverzibility atd tak sa ich nemam ucit?
-
myslim ze v ramci diskusie s hudakom sa k tomu isto mozte dostat :)
-
ak medzi otazkami nie je napr problem deadlocku, pokrytia, reverzibility atd tak sa ich nemam ucit?
tie otazky nie su kompletne...to su otazky len pre externistov...pre nas je toho nachystaneho viac...cize vlastne vsetko co bolo na prednaskach...:(
-
fok
-
okruhy su niekde aj pre internistov?
ja som zacal podla tamtych
-
to su tie okruhy...len otazky tam chybaju...ale s tymi okruhmi, ze boli aj dalsie to bolo v roku 2007/2008 ked bol este tento predmet povinny...a vtedy studenti dostavali kazdy zvlast otazky aj priklady...teraz netusim jak to bude na skuske
-
z coho sa ucite ? .... na tuke.mafo.sk ohladom FSS nic nieje.....na koreckovej stranke som nasiel daco take ze doplnkove ucebne texty (83 stran), ...a ma tam aj ine pdf-ka s mnohym poctom stran ..... a teraz neviem z coho sa mam ucit ... z coho sa ucite vy ???
-
pdf + prednasky + web + rozne vygooglene clanky (dijkstra, murata a pod)
-
z coho sa ucite ? .... na tuke.mafo.sk ohladom FSS nic nieje.....na koreckovej stranke som nasiel daco take ze doplnkove ucebne texty (83 stran), ...a ma tam aj ine pdf-ka s mnohym poctom stran ..... a teraz neviem z coho sa mam ucit ... z coho sa ucite vy ???
http://www.uloz.to/4946538/fss2007.rar (http://www.uloz.to/4946538/fss2007.rar)
prednasky a cvika z roku 2007...skoro je to rovnake ako toho roku...ako obsahovo je to to iste...len nieco je tam naviac, kedze oni to mali este ako povinny predmet
-
Inac pozor na tie vygooglene stranky, ja som v archive fora nasiel link na obedujucich filozofov a Hudak ma poslal prec s tym, ze to je zle, ze to nemam z netu pozerat ale z cviceni bk . V tej PS z tej stranky asi nedochadzalo k deadlocku a on chcel deadlock alebo cosi take neviem... Nie ze by bol rad, ze este som to aj hladal na nete... Uz sa tesim na opravny termin ak:.
Ma tu niekto nahodou tych obedujucich filozofov, tak ako to ma byt? (klasicku PS, alebo pripadne aj farbenu).
-
ti filozofi co ste mali mat ze po jednom beru vidlicku a moze dochadzat k deadlocku by mali vyzerat nejak takto:
http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg (http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg)
-
Inac pozor na tie vygooglene stranky, ja som v archive fora nasiel link na obedujucich filozofov a Hudak ma poslal prec s tym, ze to je zle, ze to nemam z netu pozerat ale z cviceni bk . V tej PS z tej stranky asi nedochadzalo k deadlocku a on chcel deadlock alebo cosi take neviem... Nie ze by bol rad, ze este som to aj hladal na nete... Uz sa tesim na opravny termin ak:.
Ma tu niekto nahodou tych obedujucich filozofov, tak ako to ma byt? (klasicku PS, alebo pripadne aj farbenu).
tak urcite by som mu nenakreslil tu deterministicku co som na nete nasiel..otazne je ako si to obhajis :P
-
ti filozofi co ste mali mat ze po jednom beru vidlicku a moze dochadzat k deadlocku by mali vyzerat nejak takto:
http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg (http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg)
Toto nie je dobre, lebo naprv vezme pravu vidlicku, a potom lavu. Cize to nie je nedeterministicke.
Zajtra to nakreslim a hodim sem ako to ma byt.
-
ti filozofi co ste mali mat ze po jednom beru vidlicku a moze dochadzat k deadlocku by mali vyzerat nejak takto:
http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg (http://img338.imageshack.us/img338/7171/filozofipojednomberulyz.jpg)
Toto nie je dobre, lebo naprv vezme pravu vidlicku, a potom lavu. Cize to nie je nedeterministicke.
Zajtra to nakreslim a hodim sem ako to ma byt.
a ake bolo presne zadanie?
-
Zadanie bolo, ze musi to byt nedeterministicke a nesmie zobrat dve vidlicky naraz. Teda bud vezme najprv pravu a potom lavu, alebo naopak
Tu je cast riesenia pre 1 filozofa http://i49.tinypic.com/mmy328.jpg (http://i49.tinypic.com/mmy328.jpg)
-
diky maros:)
-
Ty pelo odo mna mas to iste :D Inak stacilo mu hej iba ta cast? ci si musel tu giga velky siet pre vsetkych kreslit?
-
sak ja viem ze mam od teba to iste ale patri sa podakovat za ochotu no nie? ved on to nespravil len pre mna ;) ale tym som podakoval aj za ostatnych :P
-
Mao - zapisal ti uz Hudak znamku do MAISu? Lebo nam este tie Fx stale nenahodil ;D, a to uz riadne dlhy cas a chcel by som sa pomaly prihlasit aj na ten dalsi termin.
Teraz neviem ci mam Hudakovi posielat email nech mi to zapise, alebo co (pouziva on vobec email? :-) ).
-
co myslite da aj na druhy termin lahke otazky ci uz bude vyberat aj z tych, ktore sa asi ucit nebudem :DDD
-
co som si pozeral otazky z pred dvoch rokov tak to moze byt pomerne pestre :D
-
co som si pozeral otazky z pred dvoch rokov tak to moze byt pomerne pestre :D
hej ale vtedy kazdy mal ine otazky a o to ide...ci nam vyberu 2 skupiny alebo kazdy bude mat nieco ine
-
no ja pevne verim ze dostanem nieco teoreticke z petriho sieti a napriklad wp(S,R) alebo cosika podobne a priklad to by som bral daky invariant alebo RP a bud predodmienky v GS alebo navrhnut daky B stroj :D ale urcite sa cosi pojebe!
-
ja uz sa radsej nerozhodujem, ake otazky dostanem, lebo mi to naposledy nevyslo.....
-
ja verim ze hudak bude mat E51+ naladu :D
-
wp(spravit_skusku,E51+) = dobra_nalada? :D
-
presne :D
-
cool...no este sa naucit bcko a mam pokoj..neviem ci to neposuniem na zajtra..nechce sa mi
-
zacni dnes, lebo zajtra budes najebany :D a tak ta to najebanie aspon cez noc prejde :D
-
ta dakus uz viem..len keksy a kokotiny mi chybaju :D
-
Mao - zapisal ti uz Hudak znamku do MAISu? Lebo nam este tie Fx stale nenahodil ;D, a to uz riadne dlhy cas a chcel by som sa pomaly prihlasit aj na ten dalsi termin.
Teraz neviem ci mam Hudakovi posielat email nech mi to zapise, alebo co (pouziva on vobec email? :-) ).
este mi nezapisal, takze mu radsej napis
-
ach jo..kladiem to..nechce sa mi :D
-
prosim vas nema niekto tahak na fss? Uz mi z toho vsetkeho sibe bp bp
-
wp(spravit_skusku,E51+) = dobra_nalada? :D
JCube tebe staci na spravenie skusky dobra nalada :D ? Ale paaci sa mi tento pristup ;)
-
:D :D noa? mozno este mala uprava wp(spravit_skusku,E51+) = dobra_nalada & stastie
no ako tu sa jedna o hudaka :D ze aby rozdaval E51+ tak k tomu treba dobru naladu a aj stastie :D
-
prosim vas nema niekto tahak na fss? Uz mi z toho vsetkeho sibe bp bp
no ten tahak by sa zisiel ... nema dakto ????
-
aaaaaaaaaaaaaaaaaaaaaaaaaa
ja sa bojim
-
aaaaaaaaaaaaaaaaaaaaaaaaaa
ja sa bojim
a koho resp. coho? :D
-
aaaaaaaaaaaaaaaaaaaaaaaaaa
ja sa bojim
a koho resp. coho? :D
sak vsetkych....a hlavne toho predmetu :D
a skusky....aa....mam este pokracovat? aaaaaaaaa
-
:D tak nemusis pokracovat...ale ja sa napriklad nebojim :) som optimista :D ze nam daju normalne otazky a priklady a budu mili na nas :D
-
a dostaneme aj kavu a keksy a ... :D
-
a dostaneme aj kavu a keksy a ... :D
a skusku :)
-
a coho? ved hudak nehryzie :)
-
a coho? ved hudak nehryzie :)
slubujes?
-
pre mna za mna nech ma aj pohryzie len nech mi da skusku :D
-
a coho? ved hudak nehryzie :)
slubujes?
tak co si pamatam TI tak len nohy lame..trademark by vedel rozpravat
-
no nato ze to je volitelny predmet.... je toho hodne na ucenie .... musi zajtra fakt trafit otazky :DD
-
a coho? ved hudak nehryzie :)
slubujes?
tak co si pamatam TI tak len nohy lame..trademark by vedel rozpravat
a ked uz mam nohu zlomenu este pred skuskou? :D
-
miro tak davaj o to vacsi pozor na druhu :D :D
-
mihu mihu..ujo hudak daj dobre otazky :D
-
1) PN - marking, realizacia prechodu, jazyky PN
2) B jazyk, definicia vlatnosti
3) S invariant pre RW problem
4) Vytvorte B specifikaciu vypoctoveho strediska s jednym pocitacom
hell fucking yeah
-
druha skupina :
1) vektorove aditivne systemy. Vztah VAS a petriho sieti
2) sysntax struktury MASCHINE N(p) a jeho vlastnosti
3) vypocitajte najslabsie prepodmienky
4)pre kapacitno obmedzenu PS najdite jazykovo ekvivalentnu PS bez kapacitneho obmedzenia
- a dokazat jej s- invariant
no tak mne nesadli otazky, nabuduce idem znova .....fucking shit
-
Tak tu druhu skupinu by som nechcel... :(
Tak ako to dopadlo? Kolki spravili? Dojmy?
-
Ci picu ta toto bol tlak :D aspon to mam uz za sebou :D
-
Tak tu druhu skupinu by som nechcel... :(
Tak ako to dopadlo? Kolki spravili? Dojmy?
druhu lepsie hodnotil :D tu prvu strhaval body za kktiny :)
ale inac whaaaaaaaaaaaaaaaaaaaaaaaaaaaaa HUDAK NEVER MORE :)
-
hudak nekuse :) ani do hlavy :D
-
Koho ako- ja som z tej kancelarie vysiel z partimi litrami krvy menej, ako co som vosiel ... A so sprostim Ckom v MAISE ....
-
bud rad ze si nevysiel s fxkom :D
-
http://ibn.sk/images/na%20skuske%201.jpg (http://ibn.sk/images/na%20skuske%201.jpg)
http://ibn.sk/images/na%20skuske%202.jpg (http://ibn.sk/images/na%20skuske%202.jpg)
konkretne toto bolo minule ...
ak vie niekto mohol by nakreslit ako by vizerala ta siet bez kapacitneho obmedzenia ... :)
-
Hmm to by ma tiez zaujimalo...
Kto este ide na opravny termin? Som zvedavy co za otazky budu teraz...
-
podla koreckoveho vyjadrenia tazke :D
-
Nestras, to vazne?
-
samozrejme
-
(https://www.tu-ke.com/forum/proxy.php?request=http%3A%2F%2Fleon2ky.com%2Fleon%2Ffffuuu.jpg&hash=1efae7c9b358a377260d7f0aa25014f104e42cb2)
-
dal som na FTP nejake vypracovane otazky (co boli na straom FTP este)... neviem ci je tam vsetko atd ale tak mozno pomoze niekomu :)
btw mohol by sa dakto na to kuknut o uz mal skusku abo tak ze ci tam toho vela chyba alebo tak ;)
-
nikto nic? :/
-
Ja uz len mam otazku, ci sa bude dat FSS prenasat aj do konciaceho rocnika? V takom stave momentalne som :).
-
pravdepodobne nie :/
-
podla mna sa da...tak isto ako sa dalo do tretieho do letneho semestra preniest
-
lenze letny v tretom nemal 5t :)
-
jj ale tiez bol skrateny...ja som tak prenasal...len som sa musel dohodnut s vyucujucim na nejakom datume skusky mimo oficialne terminy, teda niekedy skor...len som prisiel do kanclu a spravil skusku...ale neviem..ja len hadam ze aj teraz by to mohlo byt rovnako :)
-
no preniest sa urcite da... minimalne z toho to vyplyva, ze si FSS mozem uz teraz zapisat ako povinne volitelny na dalsi rok. Problem je len to, ze to treba dohodnut s vyucujucim a tam to bude masaker. Mna by skor zaujimalo, ci sa da zmenit povinne volitelny, lebo predtym sa to dalo.
-
Nema niekto nahodou spraveny ten prevod z kapacitne obmedzenej na klasicku, ze by to tu mohol nahrat?
-
vie niekto poradit, ze pri S - invariante ako sme dostali tuto tabulku ???
X1 X2 X3 X4
X1 1 0 1 1
X2 k 1 1 0
-
jop ked tu doplnis dalsie udaje :)
-
X1 = kX2 + X4
X3 = X2 + X4
toto sme si vyjadrili z rovnice Ct.X=0
..ono ten priklad sme mali na cviku
-
jaj ten..
ked si vsimnes tie dve premenne x1 a x3 sa daju vypocitat pomocou x2 a x4..tak si zostavis tabulku:
x1 x2 x3 x4
X1 0 0
X2 0 1
X3 1 0
X4 1 1
a pomocou tych dvoch rovnic dopocitas x1 a x3..potom len skrtnes zavisle riadky a ostanu ti tie dva co si uviedol
-
Nema niekto nahodou spraveny ten prevod z kapacitne obmedzenej na klasicku, ze by to tu mohol nahrat?
taketo nieco asi http://i47.tinypic.com/15f1uyp.jpg (http://i47.tinypic.com/15f1uyp.jpg)
-
hmmm a podla coho si zostavil tu tabulku ? .... aj tak mi to nevychadza, nemohol by si podat podrobnejsie vysvetlenie ? ah:
-
tak premenne su dve takze mozu mat pri dvoch moznostiach styri rozne hodnoty a to bud 00 alebo 01 alebo 10 alebo 11
-
Nema niekto nahodou spraveny ten prevod z kapacitne obmedzenej na klasicku, ze by to tu mohol nahrat?
taketo nieco asi http://i47.tinypic.com/15f1uyp.jpg (http://i47.tinypic.com/15f1uyp.jpg)
Dakujeeeeem! :metal:
-
este je tam malicky nedostatok.... tam pri p7: este musi ist z t3 do p7 hrana :)
-
Skuska je naozaj v PC5? A kolko je rozdelenie bodov teoria-priklady? Dakujem
-
25 25 10 10 tusim
-
jj tak...enjoy ludia :D vidim to na 22. :D
-
hej ty isto :) uz to vies odzadu ;) ...ja idem len Skusit :D
-
vie niketo vypocitat tie prepodmienky ?
[ANY vv WHERE vv>xx A vv (patri) N THEN xx:=vv END] (xx (patri) ss)
-
[@vv.(vv>xx a vv patri N -> xx:=vv)](xx patri ss)
pre vsetky vv: (vv>xx a vv patri N) -> [xx:=vv](xx patri ss)
pre vsetky vv: (vv>xx a vv patri N) -> vv patri ss
;-)
-
uz som si to vsetko presla vsetko 3 krat poriadne a milionkrat zbezne a akurat mam z toho velky bordel v hlave :-\ toto neskonci pri jednom Fx :-D
-
nj...dufam ze teraz uz semanticky neujdem z ramca :D
-
To rozdelenie bodov za teoriu a priklady je absolutne jedno ked ides ku hudakovi. Teoriu som mal komplet, bodov som mal dost zo semestra, jeden priklad som mal chybny ale tak bol deterministicky a mal byt nedeterministicky (PS) a tie podmienky som mal tak na 50% uratane a poslal ma prec s Fx.
Tak uvidime zajtra, dufam ze Hudak nebude skusat.
-
je nas 15..bude :D
-
same dobre spravy pred popravou...nejaki dalsi optimisti? :-P
-
nedajte sa pomylit uvodnym preslovom ze piste co viete :D piste k otazke :D inac vas hodnotenie prekvapi ako mna :D
-
drzte sa a nebojte sa, raz vam musi dat ;)
-
nj :D raz :)
-
a dalsia otazka je ze co :D ale nebojte sa a nedajte sa...mozno je hudak fanusik futbalu a nebude vas skusat a pojde pozerat futbal :D
-
:D neverim!
-
najlepsie keby aj korecko pocas pisomenj casti odisiel :D
-
:D neverim!
vacsi ojeb by bol :D kebyze hudak vyskusa 2 ludi a potom povie: pokracujeme o 15:20 po konci futbalu :D :D
-
nj :D mne by to nepomohlo
-
hej, alebo pojde pozerat futbal a my budeme cakat pred kabinetom do 15 00...
JCube: no sak raz nam uz dal...na TIcku :P 2krat za rok to uz neni len tak :D
-
:D tiez pravda :)
-
zacne skusat az o 11.30 .... dufam ze (spravim OR uvidim futbal aspon), inak si to niekto odskace am :hammer:
-
Ked sa na FSS vykasles, tak mas istotu, ze ten futbal uvidis :D
-
nj :) ale este stale je sanca, ze spravim && uvidim futbal ;)
-
a co jake ste mali otazky? inac tych 11:30 by som neveril :) kedze aj u nas na termine mal zacat o 11:00 a zacal az vlastne po obede niekedy o 12:45
-
Hej, len teraz im dosiel a prebral papiere od uja Korecka. Takze kym to p. profesor opravi a zacne volat ludi, tak si este zrejme pockaju :)
-
xixi :P
-
mwahaha
-
Tak od cakania ma skoro porazilo, mna vyskusal o 14:10 asi, cize zhruba 5 hodin cakania od skoncenia pisomnej casti :ohmygod:.
No nakoniec to dopadlo pre mna dobre, nemal som moc uratane priklady, ale teoriu som mal, cosi sme pokecali este a povedal, ze to nebude natahovat.
Tusim 3 nespravili? Neviem presne.
Ak toto cita nejaky tretiak co nevie aky predmet si navolit, tak FSS si nedavaj ;D. Teda jedine, ak ma niekto slabost pre Hudakove predmety.
-
Mna zobral uplne posledneho, pytal sa ma len k 1 teoretickej ulohe, tu som mu aj celu vysvetlil, uz sme boli celi happy (on aj ja) ako mi zapise znamku, ked pozrel na body a zistil ze na E to aj tak nebude .... k druhej otazke ani k prikladom sa ma uz nepytal, aj ked som mu to navrhoval, takze pridem nabuduce bk
(A dobehnem domov na poslednych 10 minut futbalu, uz sa tesim ze aspon futbal dnes vyjde a .... :ohmygod: )
-
no este for record:
T1: Jazyk „guarded commands“.
T2: Sémantika Machine N(p):štruktúra povinného dôkazu korektnosti špecifikácie stroja Machine N(p).(Proof Obligation for Machine N(p)
P1: Urcit najslabsie prepodmienky pre nejake vyrazy (; , ||)
P2: Urcit T-invarianty PN.
-
no este for record:
T1: Jazyk „guarded commands“.
T2: Sémantika Machine N(p):štruktúra povinného dôkazu korektnosti špecifikácie stroja Machine N(p).(Proof Obligation for Machine N(p)
P1: Urcit najslabsie prepodmienky pre nejake vyrazy (; , ||)
P2: Urcit T-invarianty PN.
Este by tu prosim mohol niekto dat druhu skupinu... ? Dik
-
teoria 1- Mechanizmus ";" dokaz jeho korektnosti, platnosti pre vlastnosti 1-4
2- Kompozicne mechanizmy EXTENDS a INCLUDES
priklady 1- T-invarianty PN (bola siet ako pre readers-writers len torchu upravena)
2- nepamatam presne ale cosi ako:
vytvorit B stroj, kt. ma operacie - ak xx patri do mnoziny ss (ta ma byt z N) vrati TRUE
- nedeterministicky bud prida xx do ss vrati TRUE alebo neurobi nic vrati FALSE
-
kto mal urobeny, alebo kto vie moze ten B stroj napisat sem, ze ako to malo byt ...dik
-
MACHINE Stroj()
VARIABLES ss
INVARIANT ss patri N
INITIALISATION ss=prazdna mnozina
OPERATIONS
b <- Test(xx) =
PRE xx patri N
THEN
IF xx patri ss THEN b := TRUE ELSE b:=FALSE END
END
b<- Nedeterm(xx) =
PRE xx patri N
THEN
CHOICE ss := ss zjednotenie {xx} || b:= TRUE OR b:=FALSE END
END
END
..asi tak nejako by to mohlo byt
-
dakujem :)
-
lol taka kovbojka tento rok a my sme mali pred rokom lazo plazo. asi nas mal hudak rad :D