PES Tak se taky přidám, co třetí úloha? Pokud dobře chápu, že "pro libovolné e1, e2" zahrnuje i případ e1 = e2, tak takový systém snad ani nemůže existovat, ne?
dukaz neni o tom dokazat -pro kazdou dvojici e1, e2-, ale dokazat, ze pokud najdes v celem systemu -libovolnou- dvojici e1,e2, pro kterou plati dana ekvivalence, pak jejich synch. vzdalenost = x.
Zobrazit všechny odpovědi (21)
Aha, jsem to nějak blbě přečetl a myslel, že to musí platit pro všechny.. díky
No čtu si to znova, ale furt mi to zní spíš tak, že to musí platit pro libovolné dvě události. Protože pokud by to bylo jak říkáš, tak v bodu B tam vlastně můžu jen překreslit systém z přednáške, co měl tu vzdálenost omega...
Aha, jsem to nějak blbě přečetl.. a může mi ještě někdo potvrdit, že to "<->" značí, že ty formule jsou stejné zápisem? Pokud by se tím myslela ekvivalence, pak by tam muselo být to c (ohodnocení), ne?
Jde o to, zety nekontrolujes tu ekvivalenci, ale ty vzdalenosti. Tzn dukaz je o tom, ze pokud najdes e1 e2 takove ze plati ta ekvivalence (ale nemusi a nebude platit pro vsechny dvojice) tak pak jejich vzdalenost neni 2
Jojo, to už jsem pochopil.. napsal jsem si to na papír formálně a je to jasné.. a jak je to teda prosímtě s tím významem "<->", nevíš?
Pokud pokud e1 plati, e2 neplati AND pokud e2 plati tak e1 neplati tj e1 plati PRAVE KDYZ e2 neplati tzn pokud e1 neplati, e2 nesmi nemplatit ( = musi e2 platit)
jeste jinak, jejich platnost je vzajemne vylucna
a teda vyšlo vám že toto tvrdenie neplati. Cize vydialenost takzchto udalosti moze byt aj 2?
Zuzana Sjuzn Cold ja teda nemam dukaz formalni, ale vyslo mi naopak , ze to plati. ty udalosti se z definice musi bud vylucne stridat (tj vzdalenost 0 nebo 1, podle toho kdo zacina a konci), nebo jeden z nich plati po celou dobu (tj vzdalenost 1). Nikdy nemohou byt provedeny nezavisle na sobe a nikdy se nemuze jedna provadet casteji nez druha (tj do nekonecna)
David Kovařík no... musis s tebov suhlasit. Vies nakreslit nejake taky system? Mne sa poradil nakreslit iba jeden.
Zuzana Sjuzn Cold v podstate takhle, v te bubline pak muze byt uplne cokoliv, podstatne jsou jen ty dva prechody, pro ktere dana ekvivalence plati
Toto som nasla aj nejaka ina moznost?
A este po zamysleni neviem ci mas pravdu. Neviem co by si mohol mat v tom oblacku aby ten system bol bezkontaktny.
David Kovařík to je podle me spatne ale.. ta ekvivalence formuli pro e1 a e2 ti musi platit pro vsechny pripady, ktere v tom C/E systemu mohou nastat takze na te bubline co mas hodne zalezi jelikoz tvori pravou stranu implikace tveho prechodu (toho napravo)
podla mna to bude proste len bez toho oblacika len ten komplement lebo keby to nechame s tym oblacikom tak nam vyjde kontaktna siet si myslim
Šimon Lipták jenze kdyz udelas takovy cyklus tak synch. vzdalenost je 1
Petr Bečka to nam vyhovuje nie? nema byt rovna 2
Šimon Lipták to sice ano, ale bud to chce najit protipriklad kde se to rovna 2 a nebo formalne dokazat ze neexistuje system, kde by ta vzdalenost byla 2, takze v tomhle pripade nam jeden system kde je to 1 nestaci
hm no to je pravda a to je problem trosku to formalne zapisat
Petr Bečka Podla mna nemas pravdu s tym ze ta ekvivalence musi platit pre vsetky pripady ktore mozu v tom C/E systeme nastat. Cele to zadnaie hovori ze ak mame C/E system a v nom pre lubovolnu dvojicu plati spominana ekvivalence potom platia/neplatia priklady 2a , 2b. Cize dokazujeme implikaciu nie ekvivalenci.
Šimon Lipták Spatne ctes zadani. Ty nedokazujes tu ekvivalenci. Ale kdyz najdes dvojici udalosti, pro ktere ta ekvivalence plati, pak pro ne dokazujes ze jejich synch vzdalenost nemuze byt 2. Tim padem tu ekvivalenci muzes v tom dukazu pouzit, protoze vis, ze plati.
PES Prosím vás neviete niekto ako sa dá zakresliť fakt, keď mám not a -> (c v d)? Díky
Nešlo by prostě přidat místo a'' (komplement k a) a zakreslit fakt: a" -> (c v d) ? Tj. z a" by vedly šipky do čtverečku reprezentujícího ten fakt a z něj šipky do c a d.
Zobrazit všechny odpovědi (1)
noo asi by to šlo :) diky
PES v pulsemce se vsechny synchronizacni vzdalenosti musely pocitat nebo to jde odvodit jinak? krome o(i, i) = 0
PES Vedel by nekdo jak se dopocitat varianci na prilozenem obrazku? Chtel bych aplikovat ten vzorec z definice 6.3 ale nevim jak si urcit S-rezy D1 a D2 abych byl schopny vzorec pouzit.
Použiješ všechny dvojice S-řezů, které v K jsou
Zobrazit všechny odpovědi (6)
a tech je tam dohromady 6 pokud se nepletu?
resp. neni nejaky zjednoduseny postup jak se k vysledku dostat?
Obávám se že ne
jinak mi prijde, ze ikdyz pouziju vsechny dvojice s-rezu, ktere jsem vyznacil, tak mi u prvniho prikladu vyjde 0, ne?
ještě řezy {b0} a {b5}
s-řezy jsou i {b0} a {b5}, ne? potom je to např. pro s-řezy {b0} a {b1,b2} 1 - 0 = 1, což je zároveň max pro jakoukoliv kombinaci řezů
PES - lidi co znamená ten zápis p|D Kde p je zobrazení a D jsou sřezy.
Chápu to jako restrikci zobrazení p na ten S-řez D. https://cs.wikipedia.org/wiki/Defini%C4%8Dn%C3%AD_obor#Omezen%C3%AD_defini%C4%8Dn%C3%ADho_oboru
PES Po kterou prednasku bude pulsemka?
PES_04_Vlastnosti vcetne
PES - neví někdo jak se tohle počítá?
PES - Vysvětli by mi někdo, jak získat množiny D1+ a D1- a to samé pro D2 a D3? Na cviku ukazoval něco ve smyslu X- je množina kde prvky jsou neporovnatelné nebo menší než prvky z X, ovšem s čím se to tady porovnává, pokud je to řez
PES Keby niekomu pomohlo. https://docs.google.com/document/d/1S2ustZbOFUtF6vvRk5jFUyD0VQCBvaUK8s1e4wcQpUY/edit#
https://docs.google.com/document/d/1S2ustZbOFUtF6vvRk5jFUyD0VQCBvaUK8s1e4wcQpUY/edit#
PES - Dokázal by mi někdo napsat ten důkaz k: Dokažte tvrzení: Dva C/E systémy jsou ekvivalentní právě tehdy, jsou-li jejich případové grafy izomorfní?
Jestli ti to pomůže, tak tady je, jak bych na to zhruba šel já. Jsem už dost ospalej, tak prosím o shovívavost, pokud se to ukáže být kravina :D
Zobrazit všechny odpovědi (5)
Nejsem si teď jisty ale není událost u systému = krok v grafu? Ze to tam máš rozdělené.
Karel Píč Myslím, že není. 1 krok může znamenat provedení více událostí.
Ok. Dopsal by jsi i tu trojku prosím :)
Ok, někdy v průběhu dneška se o to pokusím :D
Ať přemýšlím, jak přemýšlím, to třetí prostě nevím. Podle mě splnění té trojky plyne ze splnění těch prvních dvou, ale není to natolik jasný, aby to pokryla krátká věta ve stylu: "Je zřejmé že...". Trochu jsem ale ten důkaz upravil, aby to bylo přesnější.
PES Sdílený dokument
https://docs.google.com/document/d/1S2ustZbOFUtF6vvRk5jFUyD0VQCBvaUK8s1e4wcQpUY/edit?usp=sharing
PES Nepomohl by mi nekdo pochopit jak jsme ziskali z uvedeneho castecneho usporadani relace li a co? Popr. nemel by nekdo nejake dalsi materialy nez prednasky odkud se to da naucit?
dobře to vysvětlovali na cvikách. Moje interpretace: LI- spojíš všechny kam se dá dostat po šípkách, např pro "a" = {b,c,d,f,g}, CO-ty které nejdou spojit, např pro "a" = {e}, pro "e"={a,b,c,d}
PES Nebyl jsem 15. 2. na poslední přednášce. Probraly se celé C/E sítě? Vidím, že už je stanovený termín 1. cvičení na 26. února. Řešilo se prosím ještě něco důležitého? Díky.
PES Otevřeny registrace na cvičení. Zatím žádná bitva o místa, možná o tom moc lidí neví (objevil jsem to náhodou) nebo není moc z čeho vybírat.
FAV PES VYPa Nemate nekdo prosim zkusenosti s nejakym z techto predmetu? Mam je v PVF a nemuzu se rozhodnout mezi nejmensim zlem (bohuzel se mi nezamlouva ani jeden)
Tak FAV si odtiaľ rovno škrtni.. :D
s tim tak trochu pocitam :D
Zobrazit všechny odpovědi (1)
Nemal som ho, vraj je dobrý ale jeden z najťažších predmetov na Fite a to asi ne hľadáš :) VYPa je vraj vpohode aj keď tam máš čo robiť
FAV je hodne zajimavy, ale slozity predmet. PES je hlavne teoreticky predmet, puvodne to bylo pokracovani TINu, cili jsou slidy plne definic, dukazu a jsou domaci úkoly jak v TINu.
diky za info ;)
VYPe byl zajimavy predmet s vynikajicim prednasejicim. Latka podobna IFJ, mam pocit, ze o moc narocnejsi to nebylo, projekt byl take v pohode (ve dvou). Pokud te IFJ alespon trochu zaujalo, budes si to uzivat :)
Diky za info. VYPe predpokladam, ze prezentace projektu i pul/semestralka musi byt jen v anglictine, ze?
Zobrazit všechny odpovědi (2)
Ano, ale nikdo tam neni uplne grammar nazi. Navic si myslim, ze by v testech meli akceptovat i ceske odpovedi. (Napr zadani testu bylo anglicky, ale doktorand, ktery jej zadaval, rikal vse cesky, takze naopak pulka erasmaku byla zmatena :D )
super, diky! :)
PES Příklad z prvního opravného: Vysvětli pojem Markovská vlastnost v kontextu modelování s využitím Stochastických petriho sítí. Ví někdo, co by měla být odpověď? A případně v jaké to bylo přednášce... Díky :)
https://en.wikipedia.org/wiki/Stochastic_Petri_net#Correspondence_to_Markov_process A bolo to asi v niektorej z tých externých prednasok, nejaka prednaska na stochasticke siete je aj na webe PESu (tu https://www.fit.vutbr.cz/study/courses/PES/public/Pomucky/SPN.ps) Ale neviem ci je to tam spomenute...
díky, bohužel ani v té externí "prezentaci" to není....tak asi si jen udělat poznámku z wiki :))
PES Kdy je první opravný? Ve wisu je 26. a na stránkách 24.
Uč se na 24. a při nejhorším budeš mít 2 dny navíc...
podle mě se do wisu píšou ručně vypsané věci a na stránkách předmětu je to generované systémem, to bude spolehlivější
No jde mi o to, že 24. je i zkouška z BIN, ale pokud je to ve stejný den jak PES, tak na ni ani nepujdu. A taky mi příjde pravděpodobnější to co je na stránkách.
jj ten termín na stránkách je svázaný s registrací místnosti....
PES Nevím jestli existuje příprava na semestrálku z minulých let, pokud ano tak prosím o odkaz. Pokud ne, tak tady je GDoc, kde jsem stáhnul zadaní z posledních 4 let, co byly na fitušce. Doplňujte tam prosím řešení.
https://docs.google.com/document/d/11iNuzr-8vDQjyNnXMdsEc78RKJjUy1_j_LEWFdY7fdM/edit?usp=sharing
PES Co vsechno bude na zkousce? Od P/T siti vse?
PES Nevite, jak poznat u 1. prikladu tu realizovatelnost?
PES Co prosím přesně znamená v 2. domácí úloze v zadání 2. úkolu Mx < My? Že jsem schopný se ze značení Mx "dostat" do značení My?
Ja to chapu jako specialni pripad Mx <= My, tedy ze vsechny slozky jsou mensi nez ...
myslim, ze operator a < b :=: a <= b ^ a != b (tzn. alespon jedna slozka mensi a vsechny ostatni minimalne stejne)
Martin Šůstek Ale v tohle vyznamu se vsude jinde ve slidech pouziva <=.
Vítězslav Kříž myslim, ze "<=" je reflexvni, "<" neni, teda a = b --> a <= b a = b --> ! (a < b) na cvičení byla definice Mx <= My :=: pro vsechny slozky platilo x <= y (tzn. i rovnost)
No proto si taky myslim, ze Mx < My :=: vsechny slozky x < y (bez rovnosti).
ano ale pravidlo s rovnostou uz v algoritme je (pravidlo 1) takze moze byt aj <=
http://www.labri.fr/perso/anca/FDS/Pn-ESTII.pdf slajd 51. Tvrdi to, co Martin Šůstek
Kolik vam vyslo stavu ve strome? Me vyslo 26. A hloubku stromu mam 8 (pokud je koren hloubka 0).
aha, tak po uprave se jeste podstatne zvetsil. ted mam 74 vrcholu a hloubku 9. Mate nekdo podobne hodnoty?
Ten strom mame kreslit na papir? Nebo staci odpovedet a zduvodnit ty otazky?
PES úloha 1B, př.2, mohl by mě prosím někdo nasměrovat, jak to udělat, zatím jsem neabsolvoval TIN a tak rada jak udělat takový formální důkaz by se hodila :) Díky!
PES úloha 1B, př.2, mohl by mě prosím někdo nasměrovat, jak to udělat, zatím jsem neabsolvoval TIN a tak rada jak udělat takový formální důkaz by se hodila :) Díky!
K tomu jak "udělat formální důkaz" mě trochu nakoplo tohle: https://vyuka.odbskmb.cz/v%C3%BDroky_soubory/Page1205.htm (btw. žádnou souvislost s neabsolvovaným TINem nevidím, tam nás to taky nikdo neučil...). Jinak pak stačí používat definice ze slajdů, doporučuju od zadu směrem k úvodu, tzn. zamyslet se jestli jde nějak použit definice procesu, a když ne, tak jestli by pomohla definice výskytové sítě nebo C/E systému .. a tak podobně až k těm základům.
PES Co vse bude na pulsemestralce?
vsechno doposud probrane krom posledni prednasky - uvod a C/E site.
slajdy + opora mi prijdou docela dostacujici kombinace
PES chapu spravne, ze prihlasovani na cvika zacina v 5 rano? :-D
vsak co chces robit v 5 rano? spat? :D