PES Vedel by mi prosím niekto povedať ako správne dokázať: 1. Ekvivalence dvou C/E systémů je relace ekvivalence 2. Dva C/E systémy jsou ekvivalentní právě tehdy, jsou-li jejich případové grafy izomorfní. 3. Každou platnou formuli v C/E systému lze vyjádřit konjunkcí jeho některých faktů.
2(podla mna oba smery sa dokazuju rovnako len treba otocit smer implikacii) -ak su ekvivalentni existuju dve bijekce J a E teda mnoziny prechodov aj stavov su "rovnake" -graf je zlozeny z uzlov ktore reprezentuju stavy teda pocet uzlov v grafoch bude rovnaky -graf ma hrany ktore tvoria prechody a ich pocet je tiez rovnaky. - staci ukazat ze v sieti c1[G> c2 <=> J(c1)[E(G)>J(c2) plati v grafe co plynie z definicie pripadoveho grafu a pripadovej triedy
1. relace ekvivalence je : reflex, symetr., tranzit. - teda ze E1 ~ E2 <=> FORALL E: E ~ E AND FORALL E1,E2: E1 ~ E2 <=> E2 ~ E1 AND tranzitivita. slovom povedane: -dokazat ze system je ekvivalentny sa so sebou(hracke nie?) -dokazat ze je to symtricke to je tiez hadam easy... -dokazat ze je to tranzitivne tiez hadam easy ked sa poznaju tie 2 bijekce z predosleho postu
ale tu 3jku neviem, dalo by sa na nu rozne
Ja tu 2 mam takto: Systemy jsou (g, e) - ekvivalentni kdyz...(viz. definice 4.1 prednaska 2) Pak system Sigma' = (B', E', F', C') je komplementem Sigma = (B, E, F, C)...(viz. Definice 5.2 prednaska 2) Takze z techto 2 definic ukazu ze existuje zobrazeni g:C -> C' a ze existuje e:E -> E' Done.
Zobrazit všechny odpovědi (7)
Asi je to presne to isté, ale z tohto som to pochopil lepšie
fuha v tej knihe je vsetko :)
aka kniha? potvrdzujem ze je to to iste co pisem
Patrik Čigi Čigáš co je to za knihu prosím tě?
ja som to mal z https://books.google.cz/books?id=8dupCAAAQBAJ&pg=PA29#v=onepage&q&f=false ale celú knižku som nikde nenašiel
fyi cela kniha napriklad tu http://www.futuresoft.yolasite.com/resources/Petri%20net-%20W.%20Reisig%20Book.pdf
v tej knihe je fakt vsetko
PES synchronizačná vzdialenosť Nevie mi niekto vysvetliť prečo/ako v slidoch pod definíciou synchronizačnej vzdialenosti vychádza v príklade omega? Nemá niekto k tomu prípadne lepšie materiály?
Omega znamená že vzdialenosť môže rásť až do nekonečna
Zobrazit všechny odpovědi (1)
to mi je jasné, zaujíma ma ako sa k tomu dopracovať
Pri prochazeni jsem z definic samotnych moc moudry nebyl, ale jak je to potom vysvetlene s tim pomyslnym pridanym mistem a hranami do/z nej, je to mnohem pochopitelnejsi. Vzdy se snazis zjistit jak velkou kapacitu to umele pridane misto musi mit, aby to nijak nemenilo chovani dane sit (a ta kapacita je rovna synchronizacni vzdalenosti). U synchronizacni vzdalenosti mezi ({e4,e5},{e3}) (prednaska 4, str. 7) se pri kazdem cyklu prida do mista vzdy 2 znacky a odebere jen 1 (ackoliv tyto 2 akce muzou byt provedeny v kazdem cyklu v libovolnem poradi), a tedy vzdy existuje nejaky proces teto site, ktery tam nacpe postupne libovolne velky pocet znacek. V definici sycnhronizacni vzdalenosti σ(E1, E2) = sup{ ν(p, E1, E2) | p ∈ πΣ } je supremum (fancy slovo pro maximum, kvuli nekonecnu) pres vsechny procesy, a tato sit ma nekonecne mnoho procesu (protoze je tam cyklus a proces muze byt libovolne dlouhy -> vzdy najdes nejaky co do umele pridaneho mista narve kolik chces znacek)
Zobrazit všechny odpovědi (1)
Takze mezi dvema udalostmi (takze ne 2:1 jako v te prednasce) nemuze byt sync. vzdalenost nekonecna?
PES Ahoj, vedel by mi niekto pomôcť s vysvetlením, ako počítať mieru μ pre počítanie udalostí? (PES-04 slajd 5, príklad 1) Konkrétne, ako tu dostaneme 1: µ({t1}, D1, D2) = 1 ? Nie je D1+ prázdna množina a teda |M ∩ D1+ ∩ D2- | = 0?
D1+ je množina prvkov v pravo od tej čiary
Zobrazit všechny odpovědi (1)
prave som si zacal uvedomovat, ze som tu relaciu < bral presne naopak :D dik
PIS polsem Zdravím, nemohol som byt na poslednej prednaske, chcem sa spytat, ci bolo povedane nieco k polsemke, pripadne poznacil si niekto kam sa doslo v slajdoch ?
Kromě toho, že je na ní registrace ve wisu, k půlsemestrálce neříkal nic. Na poslední přednášce bylo Tech03-Webova_vrstva.pdf a p05_Architektury_principy.pdf, přičemž u tý druhý přednášky si nejsem jistej, zda byly mikroslužby, možná ještě ne. Věci před mikroslužbama si pamatuju, že byly.
Zobrazit všechny odpovědi (4)
Ďakujem
Jen pro ujištění se: Přednášky Workflow a Ontologie ještě vůbec neprobral?
Antonín Neužil jj
Petr Rusiňák díky
FYI uz jsou zverejnene zaznamy
Zobrazit všechny odpovědi (3)
Richard Stehlík a na akej rýchlosti to musím pozerať, aby som to stihla? :D
No pokud je zverejnenych 5 zaznamu, kazdy ma 3 hodiny, do zitrejsi zkousky zbyva 28 hodin, takze (5*3)/28, cili bohate staci rychlost 0,5.
Richard Stehlík hmmm then let's get down to business to defeat the huns
PES-du-1 Hojte, mohl by nekdo vysvetlit jak mam chapat to 3 zadani? Tedy jestli mam system S1 = (B, E, F, C), v tomto systemu mam nejaky trivialni fakt t1, pak vzdy dokazu vzit dalsi system S2 = (B, E2, F2, C2) a v tomto systemu fakt t1 bude take platny? Vsak ale to neni pravda, kdyz t1 plati v S1, tak nemusi platit v S2...
jestli to chapu spravne, tak hledas takova fakta, ktera nejsou zavisla na udalostech, prechodech ani pripadech. napriklad ~b1 + b1 je trivialnim faktem, ktery bude platit v kazdem c/e systemu
Dekuji, take jsem to myslel, jenom me uplne vypadlo to ze system muze obsahovat komplementy
FLP - lambda Ahoj, mohl by mi prosím někdo poradit, jak pro LET T = \xy.xy dodefinovat F a AND? Případně i pro LET F = \xy.yx Díky
False si muzes vymyslet libovolne (treba tak, jak bylo ve slajdech). Ten And pak musis udelat tak, aby ti to splnovalo jeho vlastnosti pro ty True a False, ktere pouzivas.
Zobrazit všechny odpovědi (2)
řekněme tedy, že si pro první případ zvolím LET F = \xy.y jak pak definuju AND? Sorry za blbý dotaz, ale nemůžu na to přijít :D
Jestli chces reseni, tak ho urcite najdes na fitusce. Postup ti ted nenapisu, nejsem u pocitace a do mobilu se mi to datlit nechce
Definiciu T a F je lubovolná, ale asi máš najlepšie keď si to zvolíš ako: LET T = \xy . x LET F = \xy . y Teda T vracia prvý z argumentov a F vracia druhý. Teraz chceš z toho definovať AND. Môžeš si urobiť pravdivostnú tabulku tabuľku: a b | and ----------- F F | F F T | F T F | F T T | T Z tabulky vidíš, že keď je a = F, tak AND vždy vracia F. Ak je a = T tak AND vracia b. Odpoveď teda je: LET AND = \ab . a b F Ak a bude F, tak sa vráti jeho druhý argument - F. Ak a bude T tak sa vráti jeho prvý argument b.
Zobrazit všechny odpovědi (7)
tahle definice AND platí jenom pro LET T = \xy.x LET F = \xy.y ne? ..v případě, že bych měl zadané LET T = \xy.xy a F si mám zadefinovat sám (tedy např. \xy.y), tak AND bude vypadat jak?
Ja som si najprv zle prečítal ako chceš definovať T a F, ale príde mi že tak nemôžu byť definované, pretože by T a F by boli funkcie do ktorých vstupujú dva argumenty a aj vracajú dvojicu (?), a to by nám asi k ničomu nebolo... Ale len hádam :D Takže si sa pýtal na niečo iné, ale môj koment tu nechám. Možno pomôže niekomu inému :D
\ab.a(\x.b)F
jojo určitě máš v tom komentu pravdu, jen na fitušce jsem narazil právě na případ, kdy to je definované tak, jak píšu, a nemůžu se dopracovat výsledku
Dominik Tureček díky
pokud bych mel F = \xy.x, Je teda valid reseni AND = \ab.aF(bb) ?
Jan Grossmann podle toho, jak máš zadefinované T
KRY neviete pokial bude polsemka?
https://www.fit.vutbr.cz/study/courses/KRY/private/.cs Do půlky 9.přednášky. Takže cca po konec RSA. PKCS1 V1.5 už nestihl :)
FLP projekt 1, dka2mka má niekto dobré testy?
KRY proj2 - někdo, kdo už na tom dělá? To 'b' ze zadání někde využíváte?
PES DU 1A Ahojte, vie mi prosím niekto poradiť ako synchronizovať tie 2 procesy ?
FYI pro zájemce: Vážená paní/pane dovolte mi Vás srdečně pozvat jménem děkana Fakulty aplikované informatiky Univerzity Tomáše Bati ve Zlíně doc. Mgr. Milana Adámka, Ph.D. na 24. ročník mezinárodní soutěže pro studenty technicky zaměřených středních a vysokých škol "STOČ 2019 - Studentská tvůrčí a odborná činnost", která se uskuteční ve čtvrtek 25. dubna 2019 v prostorách budovy Fakulty aplikované informatiky Univerzity Tomáše Bati ve Zlíně. Na základě zkušeností z minulých dvou ročníků je soutěž i tentokrát určena nejenom pro studenty bakalářského a magisterského stupně studia na vysoké škole, ale také pro studenty středních škol. Proto je studentská soutěž vedle tradičních odborných sekcí (Aplikovaná informatika a informační systémy, Robotické systémy, Automatické systémy řízení, HW a SW aplikace, Měřicí a diagnostické systémy, Kybernetická bezpečnost a bezpečnostní management) určených pro studenty vysokých škol organizována také v sekcích určených pro studenty středních škol. Registrace a zasílání abstraktů (anotací příspěvků) je možné do 18. dubna 2019 prostřednictvím webových stránek soutěže STOČ 2019: https://stoc.fai.utb.cz/ Dovoluji si Vás tímto také poprosit o propagaci této akce na Vaši instituci, popřípadě na středních školách, se kterými dlouhodobě spolupracujete. Pro tyto účely přikládám plakát soutěže (http://www.fit.vutbr.cz/study/advisor/20182019/stoc.pdf). Děkuji a těším se na případné setkání s Vámi ve Zlíně. S pozdravem a přáním krásného dne doc. Ing. Bronislav Chramcov, Ph.D. garant soutěže STOČ 2019
https://stoc.fai.utb.cz/
Plán zkoušek za letní semestr 2018/2019 Připravili jsme (s Jaroslav Dytrych) 1. PŘEDBĚŽNÝ návrh plánu zkoušek za letní semestr: http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/ http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/1mitlet.htm http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/2mitlet.htm Cokoliv se ještě může změnit a možná tam ještě bude dost změn (připomínkové řízení ještě ani nezačalo - začne asi za 2 - 3 dny, které se SU FIT máme na případná vylepšení). Ale kdo má zájem, může se na ten plán podívat a: - pokud je spokojený, dát tomu palec nahoru, ať je vidět, jestli to všechny jen naštvalo ..., - pokud tam je nějaká nepříjemná kombinace, napsat ji do komentáře - zamyslíme se, a pokud to půjde, ještě s tím zkusíme něco udělat, - pokud má návrh, jak to vylepšit, také jej napsat do komentáře - budeme za to vděční my i ti, kterým se to případně vylepší. Za tímto účelem můžete použít i malou pomůcku, která ukáže, co navržená změna udělá: http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/planovani/ - také se prosím dívejte na požadavky učitelů v dolní části stránky s rozpisem a myslete na to, že kapacity místností jsou omezené ( http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/planovani_mistnosti/ ). Prosím, nedávejte tomu škaredé smajlíky bez komentáře. Víme, že ten plán není ideální, ale když uvážíte, kolik je tam předmětů a kolik je tam různých omezení (státní svátky, den sportu, požadavky učitelů, ...), je jasné, že to bude kompromis. Jen je otázkou jaký. Raději pište komentáře a dávejte palce nahoru konstruktivním komentářům. Také nám prosím nemějte za zlé, že všechny oznámené problémy nevyřešíme. Často musíme vybírat nejmenší zlo. Loni asi 4 studenti s určitou kombinací předmětů měli 5 zkoušek na 1 týden, ale jakákoliv změna k lepšímu vedla na to, že desítky jiných to měly o dost horší (4 místo 3 zkoušek za týden). Když se ozvete, nejdřív budeme hledat, kolika lidí se to týká, a pak řešení, které nesmí ublížit více než pomůže. Nenajdeme-li, je nám to líto, ale to k té práci bohužel patří - proto to dáváme sem, protože vás jsou stovky a můžete najít řešení, které ve 3 lidech přehlédneme. Pokaždé min. 2 - 3 změny zapracujeme - třeba to tentokrát bude ta Vaše...
http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/
prvý termín POS, NSB a WAP, tri skúšky za 24 hodín ? edit: preklep NSB nie NAV, keby aspon jedna skúška z WAP, NSB mohla byť v iný deň bolo by to fajn
Zobrazit všechny odpovědi (7)
Bohužel ano :-( Každý rok se najde někdo s unikátní kombinací předmětů (tu trojici máte sám), pro kterou to vyjde hodně škaredě - bohužel :-(
zrejme keď som jediný, prepokladám, že lepšia kombinácia už neexistuje, uvidíme ako to dopadne, horšie je, že v prípade prípadných neúspechov tam tiež vychádzajú dosť zlé kombinácie, opravný termín z POS v rovnaký deň ako riadny PIS atd
Martin Krajňák spravis o rok co si jak
Maroš Belasý Cocuľa co ine ostava ked na to aby odisiel z FITu ako ty uz je neskoro :D
Patrik Segedy
no ak by sa náhodou niečo presunulo, bol by som rád, osobne to nevidím na inú možnosť ako požiadať o predtermín z WAP ako to spomínal kolega alebo skúsiť jednu z tých skúšok absolvovať s minimom času na prípravu a zároveň minimálnou šancou na úspech
Martin Krajňák pisal som garantovi WAPu, predtermin odmietol s tym, ze prvy termin skusky je v prvom tyzdni skuskoveho a ze mame moznost 3 terminov predsa, ze si mozeme vybrat :D
NSB a WAP v jeden den, dokonca po sebe bez prestavky?
Zobrazit všechny odpovědi (2)
teoreticky by sa mohlo skusit z WAPu poziadat o predtermin?
Ve WAP je 100 lidí, takže má skoro s každým předmětem společné. Zde vyšli 2, což je jedna z nejlepších variant. Ale jestli najdete lepší... Co se týče té přestávky, až potkám zkoušejícího, zeptám se, jestli bych mohl dát NSB o hodinu později.
Ohledně přesunu řádného termínu z předmětu KKO: Dle aktuálního návrhu v rozvhu: http://www.fit.vutbr.cz/study/advisor/20182019/zkouskyLS/ je řádný termín KKO plánován na 16.5.2019. Skupině studentů se tento termín nelíbí. Řádný termín KKO je možno přesunout na: - 20.5. (upozorňuji, že předměty KKO a PRL mají 67 společných studentů a dle odhadů bude na druhém termínu PRL přibližně 59 studentů) - 21.5. (upozorňuji, že předměty KKO a KRY mají 21 společných studentů a dle odhadů bude na druhém termínu KRY přibližně 19 studentů) Hlasujte prosím pomocí smajlíků u možností, zda si přejete řádný termín zkoušky KKO přesunout na jeden z výše uvedených termínů, nebo ne (použijte ).
VIZa Nebyl jsem schopný vstát na přednášku :/ Dělo se něco mimořádného?
Akorat co by bylo asi dobry vedet, tak se zminoval o pulsemestralce a FEM, FVM, atd. z prednasky VIZ_3_FEM. Pry je dobry se to naucit :D
Zobrazit všechny odpovědi (1)
Díky
VPN MAC - Ahojte, prosím používate někdo Tunnelblick na připojení VPN?
Ahoj :), pro FIT vpn používám Tunnelblick, VUT vpn mám přímo ve VPN nastavení.
Ano, párkrát jsem ho minulý semestr takto použil
bylo by prosím možné mi poslat v pár screenech tu konfiguraci v tunnelblicku? Nebo jste neměnili? Já mám problém s tím, že to křičí že se nezměnila veřejná ip a tím pádem je špatná konfigurace ale neměnil jsem nic a návod na mac na stránkách není :/
Zobrazit všechny odpovědi (8)
nemohu sloužit, vůbec si nepamatuju nastavení a ten ntb už nemám
Mám pocit, že jsem nic neměnil. (Jen jsem si stáhnul ten konfigurák co je někde na cas.fit.vutbr.cz a nahrál ho do Tunnelblicku -> https://www.fit.vutbr.cz/CVT/vpn/FIT.ovpn) Ale od doby co jsem změnil providera (UPC za Netbox), tak mi Fit vpn přestala fungovat. (Ale to je kvůli tomu, že netbox nemá správně nastavený revezní dns záznamy. Takže pokud se normálně přes ssh na merlina dostaneš, tak by to neměl být problém.) Z jiný sítě se tam přes ten Tunnelblick notmálně dostanu. Jinak používám tu VUT vpn: http://wifigw.cis.vutbr.cz/vpn/macx/index.php
Super díky. Jinak, tobě se mění veřejná adresa po připojení, když checkneš ten box?
Martin Urbanczyk To nevím, ze sítě kde teď jsem se tam nedostanu. Takže to nemůžu vyzkoušet. :/
KRY kdybyste se někdo zasekli na prvním projektu, že vám to z nějakého důvodu nejede, tak zkuste SUB = [0, 1, 1, 0, 1, 0, 1, 0]. Pan doktorand nám zašifroval soubory šifrou z minulého roku. Třeba se na tom zbytečně neseknete na x hodin tak, jako já :) #loveFIT <3
Já jsem mu kvůli tomu psala e-mail, ale prý to bylo záměrně :/
Zobrazit všechny odpovědi (5)
Monika Mužikovská záměrně? To si dělá srandu, ne?
Taky mi to přijde trochu podlé.
Je pravda, že by mě to překvapilo asi na každé jiné škole, ale na FITu zrovna ne
A jak jako oficialne mame prijit na to, jak to ma byt spravne krome kopirovani z minulych let?
Minuly rok sa snazil zmenit zadanie, ktore bolo na nejakom hackatone tym, ze zmenil inicializacny vektor. Sposobil tym vyskyt kluca v sifre v plaintexte. Takze po par dnoch sa vratil spat k povodnemu zadaniu. V tom predmete ma neprekvapi asi nic.
ja som mu taktiež písal email, vraj je tam niečo navyše aby to bolo zaujímavejšie
mne tiež odpísal že je tam niečo navyše, ale iba tak som vedel predĺžiť správne ten keystream keď som zmenil SUB, ako neviem či myslel na to :D lebo z toho že "niečo navyše" by ma nenapadlo prehodiť prvky v poli
ja len neviem ako to odôvodniť - spôsob, akým som na to prišiel :D
Zobrazit všechny odpovědi (1)
Milan Freddy Múčka intuitívne :D
Přiznám se, že jenom tak by mě to asi nenapadlo, ale SUB je tak jediný rozumně nastavitelný parametr v kódu, no a 256 kombinací se dá poměrně snadno brute-force. Takže proč ne třeba tak
Na foru se dneska objevila zase nova informace a nakonec to asi byla chyba (heh? pred tydnem to byl zamer, aby to bylo zajimavejsi). Pry se posune deadline.
PES fakty Zdravím, mám otázku k tvoreniu faktov. Majme C/E systém na obrázku. Úloha: vytvoriť fakty pre podmienku že proces je vždy iba na jednom mieste. Sú tie fakty t1, t2, t3 dobre nakreslené?
vzdy iba na jednom je formula: (b1 & -b2 & -b3) v (-b1 & b2 & -b3) v (-b1 & -b2 & b3) teda aspon takto som to zapisal ja... slovne... bud je jeden zapnuty a ostatne vypnute alebo druhy zapnuty a ostatne vypnute ... ale neviem ci to mam spravne pretoze to treba este upravit na konjunkciu disjunkcii
Zobrazit všechny odpovědi (14)
ale teda, tie fakty sa dajú potom nakreslit do siete tým False prechodom, nevieš či to je dobre pospájané?
to myslíš ktorý prechod ten b1 & b2 & b3? lebo vždy tam mám že tam idú dve cesty, takže jedno z toho je not b1/2/3 v prechodoch(faktoch) t1,t2,t3
Martin Riša podla mna tam ma not(b1 & b2) not(b2&b3) not (b1&b3) To by v konjunkcii znamenalo ze niesu pripustne ziadne dvojice znaceni... a tym padom ani trojice ani ziadne ine znacenie ako znacenie s jednym tokenom (znacenie s tromi tokenmi obsahuje stale niektore zo znaceni dvomi tokenmi..)
Fort Dexter zkade ste zobrali ten not na zaciatku formule?
Martin Riša pozri prilohu
Fort Dexter aha uz to vidim. Pardon ten not som si nevsimol
otázka teda je jak nakreslit X OR Y, a ¬¬X
Michael Halinár X or Y nakreslis ako fakt trebars t5 ktoreho preset je prazdna mnozina a postset budu tvorit podmienky X a Y (podla poucky to aspon je takto).. co sa tyka not not X netusim.... a tiez by ma zaujimalo ci sa da v ramci faktov pracovat aj s nejakymi zlozitejsimi formulami (trebars ze mam nejaky fakt t7 a chcem vytvorit fakt t8 ktory bude vyuzivat v presete alebo postsete vyhodnoteny t7 a nejake dalsie podmienky) alebo mozem do toho zapajat iba tie places/conditions. Ak by sa to takto dalo skladat, tak by slo urobit aj ten not not X.. Mozno to bude vediet niekto.. A mozno vsetko co som napisal su hluposti a tak si mozem rovno hodit slucku, lebo to asi nepoberam/nikdy nepoberiem :D
Mohl by nekdo vysvetlit jak se dela negace? Treba pro obrazek nahore, budu-li chtit zobrazit (!b1 & b3) jak to bude vypadat na tom obrazku?
Sergey Panov Mozno takto (podla mna to je v sulade s definiciou):
https://www.wolframalpha.com/input/?i=CNF+(a+%26%26+~b+%26%26+~c)+%7C%7C+(~a+%26%26+b+%26%26+~c)+%7C%7C+(~a+%26%26+~b+%26%26+c) kazdy z termu CNF by se mel dat zakreslit prave jednim faktem, chybi ti tam jeste fakt ze "v celem systemu je aspon jedna znacka" (b1 v b2 v b3), coz je fakt s hranami do kazdeho z mist (pokud je zadanim znacka je PRAVE na jednom miste)
Tomáš Zahradníček V prípade klasickej formule v CNF je to tak ako hovoríš, ale platí to aj v prípade, že sa bavíme o C/E systémoch ? narážam na definíciu C/E systému, podľa ktorej by sa táto sieť nemohla považovať za C/E systém ak by neobsahovala žiaden token (teda by neplatila tá časť o mohutnosti množiny pripadov C, viď. príloha. A fakty slúžia ako prostriedok pre vyjadrenie nejakej vlastnosti C/E systému. To by si potom túto podmienku musel pridávať ku každému faktu (napr. aj k faktom v príklade v prednáškach/ na cviku) alebo sa mýlim ?
Fort Dexter To ze sit v nejakem pripadu nema zadny token neznamena ze mohutnost pripadove tridy je jedna -- muze se v ni vyskytovat nejaky prechod ktery nema zadne vstupy, jenom vytvari tokeny kdyz muze. Navic jsem tohle zminil protoze v domaci uloze v casti se simulacnim modelem v tom zazracnem softwaru je velmi podobna uloha, kde se "existuje prave jeden token" vstahuje jen na nejakou cast site, takze tam je to potreba urcite.
Tomáš Zahradníček To dáva zmysel a takto som nad tým nepremýšľal, pekna pripomienka ďakujem .
Mam-li sit(viz priloha), budu chtit na ni vyjadrit formuli (b1 | b2 | b3), tak ji vyjadrim faktem t1 jak je na obrazku, ale CESim rika ze t1 neni fakt, ale podle definici(dalsi priloha) t1 by mel byt faktem. Muze nekdo napovedet co delam spatne? Dekuji.
Zobrazit všechny odpovědi (5)
když skočí kuličky do t3 a pak do t4, tak ten fakt neplatí
Jako jo, souhlas, ale jak v tom pripade bych mel zobrazit tento fakt?
Asi nijak, protože (b1 | b2 | b3) není platný fakt ne? Slovně je to: buď jsi v b1 nebo v b2 nebo v b3, ale ty můžeš být i v b4. Fakty neomezují systém, ony pouze vyjadřují fakta. Fakt je přechod, který není možné nikdy provést.
Prosim ta, ako si docielil, ze ti toto CESim vypise? Ked spravim rovnaku siet a spustim simulaciu, nic take nevypisuje
Tomino Sykáč Sýkora musíš se přepnout do režimu simulace a pak v kartě Analysis dát Write out facts
Nevíte, co znamená fakt, ze kterého jdou hrany ven ale žádná dovnitř?
Zobrazit všechny odpovědi (2)
Znamená to, že alespoň v jednom kolečku do kterého jde šipka je vždycky tečka (OR). Aspoň tak to chápu.
fakt je prechod, ktery nemuze byt v dane siti nikdy proveden (v zadnem pripadu v pripadove tride site). Pokud mas jen hrany ven, mohl bys tento prechod provest, kdyby vsechny dana mista byla prazdna, tedy fakt je ze "nikdy se nestane ze by vsechna dana mista byla prazdna" (tj OR - disjunkce mezi vsemi misty)
Není ta formule ϕ1 špatně? Pro případ {2, 3} neplatí tzn. nevím jak to vyjádřit pomocí faktů...
Zobrazit všechny odpovědi (2)
taky proto je to zadani napsano tak jak je. 1. formule neni platna (tj existuje pripad kdy neni pravdiva), a tedy nelze zakreslit fakt
Ok, díky. Taky mně napadlo, že některá formule nemusí být platná. Každopádně to souvětí mně přijde dost matoucí.
PES du.1B netusite niekto co sa presne mysli pod prechodovym grafom v ulohe 1.d?
nejblizsi co by to mohlo byt je pripadovy graf... zni to i trochu podobne :D Nejaky ambiciozni clovek by se mohl zeptat na foru
no ja sa spytam na prednaske neni problem len som nechcel pred Ceskou vypadat blbe ze mi unikol nejaky primitivny pojem...
Myslim si ze mel na mysli pripadovy graf, zadne dalsi grafy jsem ani v opore ani ve slidech nenasel
opraveno
PIS ahoj, pokúšal sa niekto použiť tú školskú mysql databázu na projekt? máme spring + hibernate a ani za boha sa tam neviem pripojiť. (lokálna db nám funguje)
PMA Netušíte někdo, co je potřeba odevzdat do wisu k tomu sebehodnocení, prosím? ️
minuly rok sa vyplnoval nejaky word dokument(bol dostupny na private strankach predmetu)
https://www.fit.vutbr.cz/study/courses/PMA/private/obe-ind.html Tam je odkaz na excel tabulku (bonusový úkol), ten pak v PDF odevzdáš do WISu :)
Děkuju mockrát!
UXIa Zdravim, prosim neviete niekto ako su myslene tie persony k dalsej prezentacii?
Diky moc, tak sa do toho teda pustim :D :D
MS Project - hoj lze získat ze školy pro osX (mac) nebo má někdo radu kde ho získat zdarma?
jestli se jedná o předmět MPR, tak kromě online verze, jsme měli všichni přístup na sharepoint odkud jsme si pak mohli MS project stáhnout, tak pokud existuje verze pro osX tak tam by měla být
Zobrazit všechny odpovědi (4)
Antonín Neužil řeším to pro kámošku. MPR jsem měl 2 roky zpět.
Asi nemáš ten sharepoint ze?
zkoušel jsem to najít, ale nepovedlo se mi to. Našel jsem tento odkaz kam jsem se přihlásil přes VUT login... Jenže jsem našel jen odkaz, jak stáhnout celý balík office bez projectu
Díky za snahu
ZPO Hledám tým.
PIS je tu někdo, kdo hledá tým na projekt? jsme 3, klidně někoho ještě přibereme. platforma bude JAVA.
PES Ahojte, potrebuju naplanovat cestu do zahranici a nechtel bych prijit o cvika a pulsemku, mohl by nekdo, kdo jiz mel predmet, rict kdy tak shruba zacinaji cvika a kdy tak shruba byla pulsenka? Dekuji
Cvičení: https://web.archive.org/web/20170611185121/https://www.fit.vutbr.cz/study/courses/PES/public/
Zobrazit všechny odpovědi (2)
prosim ta boli civcenia bodovane? alebo iba DU?
Silvester Lipjanec Když jsem skládal předmět já (tuším, že stejný rok jako Martin), body za cviko nebyly.
PIS Má ještě nějaký tým volné místo?
Take hledam nejaky tym.
Sak to zbuchas sam, Angular + https://www.mocky.io/, naco team :D
Filip Pobořil pm
k nám klidně jo, jsme 3, ale uzávěrka zítra
Zobrazit všechny odpovědi (1)
Nakonec jsme tri, tak to dame nejak spolecne :)