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
Quote from: Eghinka on 10.05.2010, 16:32:23
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 :)
Quote from: 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
nikto nevie? ???
na zaciatku dve za sebou boli prezencky... tusim 2 a 3 prednaska?
Quote from: Eghinka on 12.05.2010, 04:50:47
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 :)
Quote from: Dominico on 26.05.2010, 23:39:42
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)
Quote from: glassworker on 28.05.2010, 18:17:09
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)
Quote from: Killian on 29.05.2010, 00:23:11
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
Quote from: puq on 29.05.2010, 00:33:06
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.
Quote from: Mao on 29.05.2010, 03:37:18
Quote from: puq on 29.05.2010, 00:33:06
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
Quote from: JCube on 30.05.2010, 19:59:48
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
Quote from: Killian on 30.05.2010, 19:42:01
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
Quote from: JCube on 30.05.2010, 23:20:52
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
Quote from: forgi79 on 31.05.2010, 18:46:39
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
Quote from: zuzanka on 01.06.2010, 03:24:05
aaaaaaaaaaaaaaaaaaaaaaaaaa
ja sa bojim
a koho resp. coho? :D
Quote from: puq on 01.06.2010, 03:27:45
Quote from: zuzanka on 01.06.2010, 03:24:05
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
Quote from: Tanka on 01.06.2010, 03:41:56
a dostaneme aj kavu a keksy a ... :D
a skusku :)
a coho? ved hudak nehryzie :)
pre mna za mna nech ma aj pohryzie len nech mi da skusku :D
Quote from: zuzanka on 01.06.2010, 03:54:56
Quote from: JCube on 01.06.2010, 03:47:25
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
Quote from: JCube on 01.06.2010, 04:10:58
Quote from: zuzanka on 01.06.2010, 03:54:56
Quote from: JCube on 01.06.2010, 03:47:25
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
Quote from: Killian on 01.06.2010, 19:17:15
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
Quote from: Killian on 14.06.2010, 22:19:42
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
Quote from: kOsTi on 14.06.2010, 22:46:41
Quote from: Killian on 14.06.2010, 22:19:42
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
Quote from: JCube on 15.06.2010, 05:24:08
: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.
Quote from: kOsTi on 15.06.2010, 21:48:33
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