MPR Hledám tým, který se na projekt nechce vykašlat a chce tím předmětem hladce proplout - dodržet termíny, zvládnout splnit požadavky, neřešit věci na poslední chvíli. Edit: FULL
I am in :)
ak je ešte miesto tak sa rád pridám :)
AGS Ahoj, hledám tým na projekt, už je plno.
Je už tým plný ?
Zobrazit všechny odpovědi (3)
Radim Polach jsme stále tři, přidáš se? :)
Jistě jdu do toho s Vámi
Radim Polach super tak jsme full, přidám te do skupiny :)
PP1 Ahoj, je tu niekto, kto sa prihlasoval na projektovú prax? Aký je postup pri registrácii tohoto predmetu? Nemám ho v ponuke k zaregistrovaniu...
Ak si sa na nejakú projektovú prax prihlásil, tak potom ťa vedúci musí nastaviť do stavu "prijato" a následne do 24hod by si mal mať PP1 registrované v predmetoch.
Zobrazit všechny odpovědi (1)
Matúš Múčka vďaka
TIN body
Jaka je letos celkova uspesnost?
Zobrazit všechny odpovědi (2)
Klasika =D
FLP Už sa dá prihlasovať na projekt.
Unexpected
FLP zobrazuju sa vam varianty?
nope
Ne. Taky na to koukám...
https://www.youtube.com/watch?v=lQvbg_qieK4
Zobrazit všechny odpovědi (1)
Treba mu poslať email, nech je z teba Udavač :)
Svobodné předmety Ahoj, neviete, kedy budú registrácie slobodných predmetov? Alebo už boli?
taky jsem se po tom díval, podle mě se na lidi z naší fakulty prostě vysrali...a vůbec se tam ten modul neobjevil...ratr z FSI už se normálně zapsal
Zobrazit všechny odpovědi (8)
To peprné slovo by mělo směřovat tomu, kdo nám zatím před každým semestrem posílal harmonogram a před tímto ho poprvé neposlal. Zjevně to proběhlo, ale nikdo si toho nevšiml. Zaměstnanci protože by potřebovali ten harmonogram a studenti protože do IS VUT běžně nechodí. Nezbývá než říct, že příště si to pohlídáme.
Ale chápu, že to nás neomlouvá. Neměli jsme se spoléhat na to, že nám rektorát informace pošle, ale měli jsme se aktivně ptát "kdy už to bude". Takže pokud by někdo měl zájem, můžeme zkusit individuálně vyjednat, že bychom ho tam ještě nějak dostali...
Jaroslav Dytrych Je možné, že jsem to tam vůbec neměl? Jsem to právě kontroloval s bráchou z FSI v den, kdy on si ten předmět zapsal a vůbec jsem tam tu možnost neměl. I když je teda pravda, že jsem se zas tak moc nesnažil,.. už jsem měl zapsaný předmět z FITu na posledních 5 volných kreditů, co mi zbývá k dokončení studia. Ale říkal jsem si, že bych si možná rozšířil obzory a dal si předmět z jiné fakulty, pokud by mě tam něco zaujalo, ale nešlo to... je možné, že se mi třeba na nabídka nezobrazla, protože už jsem měl zapsané předměty za moc kreditů?
Jaroslav Dytrych vzhľadom k tomu, že nie je vidieť ani ten zoznam ponúkaných predmetov, tak ťažko povedať, či má niekto záujem :/
Kamil Sedlmajer Pokud vím, tak se to spouští centrálně a když fakulta něco nezakáže (což jsme neudělali - jednak to neděláváme a jednak jsme neměli ten harmonogram, tak jsme to období zakazování rovněž přehlédli :-D ), je vše povoleno. Když si někdo registruje kredity nad strop, musíme to dořešit až po synchronizaci do IS FIT, protože IS VUT nám to nijak nehlídá - v zimním semestru nám takto studenti registrovali třeba i o 10 kreditů nad strop, což se pak řeší zahájením řízení o změně zápisu předmětů z moci úřední.
Juraj Kubiš To mě mrzí :-( Tento semestr už s tím asi moc neuděláme :-( Kdyby někdo věděl, o co konkrétního má zájem, můžeme se zkusit podívat, jestli to bylo nabídnuto. V této chvíli mě nenapadá nic víc, co bych s tím mohl udělat. Tím, že se ty Svobodné předměty řídí centrálně, nad tím nemáme vůbec žádnou kontrolu.
Zatím to vždy bylo tak, že jsme dostali harmonogram, kde bylo něco ve stylu "do ... aktualizujte nabídku předmětů, od ... do ... zakažte co nechcete pro svoji fakultu povolit, do ... lze nastavovat kapacity a dne ... od ... do ... hodin proběhne registrace". Většinou byla i možnost ten harmonogram připomínkovat, což jsme ale myslím nikdy nedělali. Tentokrát nepřišlo nic a všechno prostě nějak proběhlo, aniž bychom si toho všimli. Na příští semestr to dám do kalendáře a až se bude blížit termín první fáze dle loňska, budeme s rostoucí frekvencí posílat dotazy na rektorát, dokud neuvidíte termín ve studijních aktualitách.
Nechávám si poslat seznam svobodných předmětů. Asi bych ho neměl zrovna vyvěsit na Facebook, ale jestli se najde někdo, kdo by měl vážný zájem, napište mi mail a přepošlu. Nemohu nic slíbit, ale mohu se pokusit tam někoho dostat (zjistil jsem, že budu muset získat svolení garanta předmětu, pak kapacitu od systémového integrátora dané fakulty a pak to náš systémový integrátor naimportuje, propojí a synchronizuje - každopádně udělali jsme pro to málo než se to stalo, tak jsem ochotný alespoň zmírnit následky).
Svobodné předměty šlo registrovat přes vutbr.cz, deadline byl myslím do konce ledna.
Zobrazit všechny odpovědi (9)
nešlo právě...
Já jsem si nic nezapisoval, ale ten modul jsem normálně viděl a měl otevřený. Byl tam rozpis předmětů včetně časovýho rozvrhu a počtu kreditů.
já an to koukal a neměl jsem to tam
Ja si pamätám, že som tiež videl ten zoznam v IS VUT, cca pred týždňom. Ale neviem, či to bolo spustené, alebo nie ...
Když jsem si to procházel, tak tam byla nějaká obsazená místa. Ale nezkoušel jsem se přímo někam registrovat... Všimnul jsem si té registrace díky tomuto: (Jak je to na FITu, nevím. :))
To tie registrácie bežia iba jeden deň?
Screen ze středy:
Tak to je celkom naprd že na registrácie, ktoré trvajú jeden deň a prebiehajú v portáli, ktorý navštívim asi raz za semester, sme upozornení len príspevkom na FB. Hlavne že mi na mail chodí každú chvílu nejaký newsletter z FITu :D
Juraj Kubiš Ano, myslím, že vždycky na to byl jen jeden den, ale stejně jsem si tam nikdy nic registrovat nechtěl :D
NO jestli je třeba v současné době za něco bojovat, atak je to informovanost o svobodných předmětech. Toto je opravdu výsměch :D Schválně, kolik lidí vědělo že nějaká registrace je? Víte, že jsou i studenti bez FB? :D
Zobrazit všechny odpovědi (8)
A hlavne, tá stránka je študentský spolok z FEKT :D Takže z FIT to nemá lajknuté takmer nikto :D
Juraj Kubiš Před rokem byly svobodné předměty otevírány s velkou slávou. Nesnaží se to zase v tajnosti zrušit? Na jiných školách je to naprosto běžné a žádané :(
Martin Kobelka Tak, ono tam aj tak toho moc nebolo :D aspoň čo si matne pamätám :D A nemyslím si, že to chce niekto rušiť, skôr to je tak, že keďže tam nie je takmer nič zaujímavé, tak na to všetci kašlú a nevenujú pozornosť :D
Juraj Kubiš NO teď jsem se na to díval. Mám pocit, že i loni tam toho bylo mnohem víc :)
Martin Kobelka Kde to vidíš?
Juraj Kubiš Mám screen od známého, kterého na to náhodou upozornil spolužák z FEKTu :D
Martin Kobelka a ten známu je z FEKT, alebo FIT? Lebo fakulta môže limitovať tú ponuku ...
Juraj Kubiš Ten známý je spolubydlící z FITu. Taky by se o tom ale nedozvěděl, kdyby neměl jiného známého na FEKTu :D
[HPO,PRM] Ahojte vymením HPO (mám) za PRM. (Dôvod: prekryv v predmetoch)
PRM ale neni letni semestr ne ?
Zobrazit všechny odpovědi (6)
Humanitné sú v oboch semestroch, po zaregistrovaní predmetu zo skupiny PVH ti však WIS neukáže ostané.
http://www.fit.vutbr.cz/study/course-l.php.cs?id=5963 proc se teda tady pise zimni
Lebo je ta karta predmetu pre PRM na zimu navyše ešte rok 7/8
http://www.fit.vutbr.cz/study/course-l.php?id=12903
rok je jedno, spis by me zajimala ta karta pro letni
hm stejne 17-18:50 mam taky plne , skoda
POS Ahoj, je tu prosim nekdo, kdo absolvoval tento predmet? Chtela bych si ho na letni semestr zapsat, ale ma jako prerekvizitu uvedenou HSC, coz jsem nemela. Tak by me zajimalo, jestli je fakt potreba HSC absolvovat, nebo je to v pohode zvladnutelne a prinosne i bez toho.
POS je povinný předmět pro informační systémy v druhém semestru - HSC ne, takže dost doufám že to bude zvládnutelné i bez toho :D
Kde je ta prerekvizita napsaná? Já mám taky zapsaný POS a HSC jsem neměl Aha už to vidím.. já si četl jen ty druhé prerekvizity na kartě předmětu a usoudil jsem, že stačí IOS :D
Zobrazit všechny odpovědi (1)
https://www.fit.vutbr.cz/study/course-l.php?id=12894 Tady to mají uvedené.
mal som POS a HSC nie, uplne v pohode zvladnutelne .. stacia ti znalosti z IOS
Super, to jste mě potěšili :) Díky
Neměl jsem ani HSC ani IOS a v pohodě
PIS hľadám tým do ktorého by som sa mohol pridať alebo niekoho do dvojice. Moja znalosť Javy je vysoká
MOG Je tu niekto, kto nespravil tento predmet, a nebol na troch termínoch?
TIN - Máte někdo nějaký dobrý(klidně externí) zdroj na pochopení polynomiální redukce, ideálně kde řeší příklad? Přijde mi že všude je to dost obecně a vágně a teoreticky a příklady na to jsou jen na konzultacích a písemkách. Vím o čem je P,PN,SAT a podobně, tu omáčku okolo, spíš mi jde o konkrétní řešení té redukce s těmi klauzulemi atd.
Záznam TIN_2016-12-13
Zobrazit všechny odpovědi (4)
Ne měl to češka ml. Máš tady přístup? https://video1.fit.vutbr.cz/av/records.php?id=42612&categ_id=1340
ja nie (2MIT)
Ok, tak to někam nahodím a kdo bude chtít, tak mu pošlu link
Honza Mikulík taky nemam
Kdyz jsme u toho TINU, nevite proc Membership problem (nalezitost retezce do jazyka typu 0) je castecne rozhodnutelny, ale potom v dalsi prednasce je tabulka, ktera rika, ze nalezitost retezce do rekurzivnich jazyku je rozhodnutelna?
Zobrazit všechny odpovědi (8)
Ak zastane a prijme, tak vies, ze do jazyka patri ale ty nevies kedy uz TS "bezi dost dlho" na to aby si mohol rozhodnut, ze nepatri.
Dobre to je vlastne definice castecne rozhodnutelnosti, patri do L - zastavi, nepatri do L - cykli, me jde o to proc je v te tabulce napsano, ze je rozhodnutelny - zastavi na vsem.
Zdravím ... myslíš tabulku z přednášky 10? ... tam je, že náležitost řetězce do rekurzivního jazyka je rozhodnutelná, ale do rekurzivně vyčíslitelného je nerozhodnutelná (EDIT: částečně rozhodnutelná) ... důkazy pro HP a MP jsou pro rekurzivně vyčíslitelný
Aha, ja jsem si neuvedomil, ze typ 0 jsou i rekurzivne vycislitelne... stejne me ale nenapada, jak bych odargumentoval, ze nalezitost retezce do rekurzivniho jazyka je rozhodnutelna.
Protože náležitost do rekurzívního jazyka dokazuješ úplným TS a ten buď přijme nebo nepřijme
Definice: Pro rekurzivní jazyk existuje nějaký úplný TS. Úplný TS pro každý svůj vstup zastaví (buď normálně, nebo abnormálně). Z toho plyne, že jsi schopen simulovat daný úplný TS nad každým vstupem a zjistit, zda přijme (zastaví normálně) nebo odmítne (zastaví abnormálně).
Jasny, to vlastne vychazi z definice. Dik za pomoc
Tomáš Jarůšek Jinak ještě k tomu co jsi psal výše: jazyk typu 0 = rekurzivně vyčíslitelný. Rekurzivní jazyky jsou pouze jejich podmnožinou a nejsou (spolu s deterministickými bez. jazyky) v Chomského hierarchii
Rozvrh Je nějaká šance, že se ještě budou provádět změny v rozvrhu na příští semestr? Moc se mi nelíbí, že mám v pondělí šňůru od 8 do 19 s přebíháním mezi FIT a FSI, které se nedá stíhat. Vybraný termín cvičení z ARC je jediný který se mi přímo nekříží s něčím jiným.
Jaroslav Dytrych aj toto by sa malo riešiť
Zobrazit všechny odpovědi (5)
Není náhodou pan Dytrych proděkanem pro bakalářské studium a ne magisterské?
Jiří Matějka pan Dytrych tvori rozvrhy tak je relevantna osoba na diskusiu ohladom rozvrhov, nie?
Kontaktoval by som študijného poradcu: http://www.fit.vutbr.cz/~iveigend/
Rozvrh jsem dělal já s Petrem Veigendem, ale logiku vůbec nemohu ovlivnit - ta je na FSI - a další předměty v tom seznamu mají dost požadavků/omezení. Obecně jsou předměty z jiných fakult, kde dostaneme fixní rozvrh ve chvíli, kdy už je náš rozvrh stabilní, z hlediska plánování neřešitelné.
Děkuji za odpověď
99.99% ne.. Obzvlášť u předmětů z jiných fakult.. Je dobré se podívat na rozvrh, než si to člověk zapíše (LOG nemáš povinné, ne?)
Zobrazit všechny odpovědi (9)
Všechny předměty jsou P nebo PV takže toho zas tak moc nechci. :D Ještě před pár dny nikde nebylo napsáno kdy LOG bude.
David Novák tiez mi pride blbe aby sa rozbil rozvrh kvoli jednemu studentovi
David Janeček jak koukám, tak LOG přednáší Šlapal.. Takže.. problem solved? :D
Dávid Bolvanský Zdroj že jsem jediný? Možné to klidně je vzhledem k tomu že nás je na oboru 9, nicméně neměl by rozvrh umožňovat studium všem studentům? Taky nežádám žádné rozbití, stačil by např. extra termín cvičení z ARC ve středu.
David Janeček v pátek se ti ARC cviko taky kryje?
David Janeček pan Jaroslav Dytrych nemoze splnit kazdu moznu kombinaciu , a teda musi obetovat jedincov, ak to ma pomoct vacsinej skupine, dava to zmysel snad
David Novák Ano - PDS
Dávid Bolvanský hlavně je tak IMO tolik kombinací, že se ani nedá odhalit všechy problémy..
Dávid Bolvanský Chápu, že sestavit rozvrh není nijak jednoduché, ale to není žádný důvod proč bych se na to nemohl zeptat, obzvlášť když to jsou všechno P a PV předměty a nic neopakuji, takže je to dost očekávatelná kombinace. Pokud se s tím nedá nic smysluplného dělat tak mám smůlu, ale třeba existuje naprosto jednoduchá výměna, která by mi pomohla a nikomu neuškodila.
MAT Body :O
Záznamy Nějak mě minula informace, jak to tedy bylo/je se záznamama. V září tuším někdo zmínil, že to jako ještě technicky není dořešeno po rekonstrukci, ale jinak ticho po pěšině. Nevíte: 1. Proč vlastně celý semestr nebyly? 2. Další semestr budou?
Riešilo sa to v druháckej skupine, odkaz https://www.facebook.com/groups/vutfitmit2017/permalink/2248337698544870/?comment_id=2248365751875398&comment_tracking=%7B%22tn%22%3A%22R%22%7D
Inak v skratke, čakalo sa návrat video matíc z reklamácie, čo sa už stalo. Takže je pravdepodobné, že záznamy budú, aj keď tam ešte strašili, že nemajú ošetrené GDPR, ale to je snáď len formalita, že vylepia na dvere prednáškovky oznam.
Zobrazit všechny odpovědi (1)
Díky za info
Tento dopis a fakt, ze zrovna tento semestr nefunguji zaznamy, by mohl byt slusny zaklad pro prvni fitackou konspiracni teorii :D http://www.fit.vutbr.cz/~zemcik/Studenti_FIT_2018.pdf
Zobrazit všechny odpovědi (3)
no ak si niekto mysli, ze ak zrusia zaznamy a kludne aj zmazu vsetky materialy z WISu, ze tym prinutia studentovi chodit na niektore velmi slabe prednasky, tak nech ten niekto sniva dalej :D ale myslim ze konspirovat v tomto pripade netreba, proste HW sklamal, nebol doladeny no :D
Richard Stehlík Plne súhlasim s tým čo je napísané v dokumente, avšak neporozumel som poslednému odstavcu. Preto by som sa chcel opýtať Vás spolužiakov, či mi nevie náhodou niekto vysvetliť slovné spojenia "Študentský život" a "Spoločenský život", pretože s týmto odborným pomenovaním som sa počas môjho štúdia ešte nestretol a nespomínam si ani na to, že by táto problematika bola obsiahnutá v niektorom z predmetov. Za akúkoľvek pomoc vopred Ďakujem.
Společenský život bude takové to, když se všichni sejdou před D105 před zkouškou, studentský život asi bude když žiješ jenom z ubytovacího stipendia celý semestr
TIN Řeším příklad a chtěl bych potvrdit správnost. L={a^n b^n c^m d^m | n>=0 m>=0} Je to deterministicky jazyk? (da se sestrojit DZA?)
Podľa mňa áno, ale musíš použiť rozširený DZA
Zobrazit všechny odpovědi (2)
podle definic DZA a DRZA jsou ekvivalentni :/
No asi sa to dá aj nerozšíreným, len ma nenapadá ako, ale myslím že sa hovorilo že keď napíšeš že používaš rozšírený tak ho môžes nakresliť.
kedze musi byt zachovane poradie tak staci aj nerozsireny nie? budes prechadzat po jednom 'a' a hadzat na zasobnik, narazis na 'b' tak ich zachnes vyhadzovat - ked pride 'c' deterministicky vies ci 'b' == 'a' alebo nie a pokracujes tak isto s 'c'
spis jak je to s tim dorzenim "ab" a "cd", protoze co kdyby tam prislo "cdab"
Zobrazit všechny odpovědi (26)
Jáj tak ak DZA môže mať epsilon prechody tak potom hej :D
Nepřijme ti to i "cdab", když se z větvě c^m d^m vracíš zase do počátečního stavu a máš na zásobníku #?
Asi sem to vyresil
Čo takto? // je zle
Jozef Zuzelka to by vzalo i "aababb"
Jozef Zuzelka hlavně když bereš "b" a "d", tak si tam dáváš zase něco na zásobník, takže se nedostaneš k # zpátky.
no tak pri vstupe aababb zostane po aab pretoze nebude mat prechod a,b/. nie?
a pri vstupe aabbccdd, zas po aabb bude mat prazdny zasobnik, takze prechodom c,#/c si tam hodi 'c' a bude k tomu parovat d
aabbaa ?
ale teraz, som si uvedomil, ze to parovanie je zle :D ked bude n alebo m == 1
Lukáš Petrovič nie je tam prechod pre pripad, ze pride 'a' a na zasobniku su 'b'
jaj nevšimol som si že si tam davaš bčka na zasobnik, ako ale potom primes dve bčka ked po prvom si dáš na vrchol b
ano je cely pokazeny -_- prechodom b,a/b sa da na zasobnik 'b', teda uz sa ziadne dalsie 'a' nebudu parovat. Jirka to ma asi dobre
On tam ale dovoluje nacist aabbaabb a to podle me nemuze
Ja bych to zkusil takto
Ano, jde to udělat pomocí DZA, ale správný řešení tu furt neni (pokud jsem ho neprehlidl) :'(
Petr Rusiňák Ja tam asi nemuzu mit ty prvni dva epsilon prechody, co?
Michal - jj, neni to deterministický
Lukáš Petrovič Myslim, ze tyto
to je v pohode, podľa mňa je chyba z prveho stavu
Michal Tabášek
Lukáš Petrovič jasne :)
Lukáš - jakto, že je to v pohodě, když ty dva přechody, co Michal podtrhl červeně, jsou přímo ve sporu s definicí, co jsi sem poslal? Epsilon přechody tam být mohou, ale tyhle dva ne.
no myslel som že ta chyba nema nič spoločne so vzťahom medzi tymi dvoma epsilon prechodmi ale že chyba vychádza z toho že je v tom stave porušená tá definícia. Ale ano je porušená na oboch tých miestach.
Možno sa už odkazoval na to porušenie tým obrazkom ale nebol som si istý
EDIT: akceptuje ccddccdd, opraveno nize!
Zobrazit všechny odpovědi (2)
Pokud se nepletu, tak ti to dovoluje prijmout ccddccdd
Michal Tabášek
TIN Ahojte, řeším příklad, který byl nadhozen na konzultacích. Je to obdoba redukce ze 2.termínu akorát, že L(M1) U L(M2) = {a}. Řešil jsem to tak že se samozřejmě dělají ty dvě simulace bla bla, když ale M1 na w zastaví, zkontroluji jestli vstup je a, pokud ne tak rovnou cele odmitnu a neřeším M2. Pokud ale vstup je a, potřebuji se podívat na M2, jestli i tam je po zastavení vstup a ne? Protože pokud by nebyl tak to tím pádem cele odmítám ne? Přijde mi, ze tam nestačí cyklit, když i tam na vstupu záleží.
ak L(M1) = {a} tak L(M2)={} tak ako predtym, ale ak L(M1) nema na vstupe "a" tak L(M1) = {} a musis skontrolovat vstup M2 ak je "a" tak L(M2) = {a}, tym padom ti to zjednotenie vyjde {a}. Ak ale ani jeden z nich nema na vstupe "a" tak zjednotenie je prazdna mnozina tym padom neprijimas.
Potrebujem riesit M2? TS co robi redukciu "programuje" M1 a M2 nie? Tak keby M1 vzdy pozrel ci ma na vstupe "a" (ak M, ktory simuluje zastavil na w) a ak tam je prijal a M2 vzdy cyklil? Teda ak a) M patri do HP a zastavi na w M1 ma na vstupe "a" -> zastavi M2 vzdy cykli -> zjednotenie je "a" a nalezitost do jazykov je zachovana b) M nepatri do HP/ nezastavi -> cyklia oba a zjednotenie je prazdna mnozina, teda tiez dodrzane
Zobrazit všechny odpovědi (8)
a keby M1 nemal na vstupe "a" a neprijal by tak sa moze stat ze L(M1) U L(M2) = {a}, ak by mal M2 na vstupe "a". Podla mna musis, ale nie som si isty.
A nie je to zjednotenie skor tak, ze bud jeden ho prijima alebo druhy? Tzn, ze ked na vstup dame "a" tak ho niektory z nich prijme (ratam s tym, ze obom davame jeden vstup, neviem ci to je ok)?
A keby bol prienik tak M1 aj M2 by museli prijimat spolocne 'a'.
Mě tam v tom ještě plete trosku to, že to sjednocení musí být jen a, nic víc.. možná je to blbost uvažovat ale mate mě to
No ja to chapem tak, ze bud oba prijimaju prave 'a' alebo jeden z nich prijima iba 'a', teda asi zbytocne v druhom nieco kontrolovat, ale neviem ci to je dobre. Asi je aj jedno ci sa im dava rozny vstup, pretoze jazyk prijimany TS M1 - L(M1) - bude prave to acko co si skontroluje, takze aj keby sa stalo ze na vstup M1 by som dal 'b' a na vstup M2 dal 'a' tak stale bude platit L(M1) U L(M2) = {a} pretoze M1 ho prijima
ale tak bol by som rad keby sa k tomu este niekto vyjadril :D
Pokud první stroj přijímá řetězce a, aa, ba, bb a druhý stroj přijímá řetězce a, aa, bbb, aab, tak řetězce, které přijme některý ze strojů, jsou a, aa, ba, bb, bbb, aab. Čili pokud první stroj přijme jenom a, tak se pořád může stát, že některý ze strojů přijme i nějaký jiný řetězec.
Petr Rusiňák No ale ked ho redukcna funkcia urcuje co prijimaju a co nie, teda ked druhy bude na vsetkom cyklit a kaslat na HP,, a prvy prijimat iba 'a' ak HP zastavi?
A co vůbec chceš dokázat? Že to je REC, že to je RE, že to není REC, nebo že to není RE? A z čeho redukujete (na konzultaci jsem nebyl)? :D
Zobrazit všechny odpovědi (12)
Tak RE je jasne, ze to je ci? :D takze redukciou, ze to nie je REC
ano mam popletene RE a REC :D RE su rekurzivne vycislitelne, right?
Ty jsi to upravil, nebo neumím číst? :D :D
uprvail, ale este pred tvojim komentom! :D
Tak sorry, FB na mobilu to neukázal :D A tím, že je to rekurzivně vyčíslitelný, si jsi jistý? :)
No tak ich zas budeme simulovať po krokoch na vstupe "a" a ak niektorý z nich zastavi tak to vieme vždy určiť
RE podle mě není, nikdy nemůžeš říct určitě, že ten problém je rozhodnutelný. To sjednocení má být právě {a}, tedy bys musel do nekonečna simulovat všechny řetězce a hledat, jestli tam náhodou není další sjednocení, takže nikdy nerozhodneš ten problém. Redukce se provádí, aby se dokázalo, že ten jazyk není REC, což dokážeš tím, že je stejně těžký nebo těžší než HP, podle mě je ale jasně těžší.
Jakub Menšík pri prieniku by to bolo RE, kedze by stacilo vyskusat iba 'a' na oboch? // Vlastne tam by bolo treba tiez zistit, ze prijima kazdy ich spolocne prave 'a'
No to si myslím, že zase nestačí jen na "a", protože nikdy nevíš, jestli není nějaký řetězec např. po milion krocích, který přijímají oba stroje. Zase bys nemohl říct jednoznačně, že je problém rozhodnutelný. Ale, při redukci z HP by stačilo říct, že když M na w zastaví, tak M1 přijímá "a", jinak zamítá a M2 může přijímat klidně vše, čímž dokážeš, že ten problém je stejně těžký nebo těžší než HP
Jakub Menšík Mohla by byt takato redukcia na dokazanie, ze nie je RE? L(M1) U L(M2) = {a} 1) M1 skontroluje vstup na 'a' ak tam je tak prijme 2) M1 simuluje co-HP a) zastavi -> prijme vsetko -> L(M1) = sigma* b) cykli -> cykli -> L(M1) = {a} 3) M2 cykli vzdy -> L(M2) = Ø co-HP cykli -> L(M1) U L(M2) = {a} -> {a} U Ø = {a} co-HP zastavi -> L(M1) U L(M2) = sigma* -> sigma* U Ø = sigma* *** L(M1) ∩ L(M2) = {a} 1) M1 skontroluje vstup na 'a' ak tam je tak prijme 2) M1 simuluje co-HP a) zastavi -> prijme vsetko -> L(M1) = sigma* b) cykli -> cykli -> L(M1) = {a} 3) M2 robi to iste ako M1, teda ak co-HP cykli oba maju jazyk {a} inak oba prijimaju sigma* co-HP cykli -> L(M1) ∩ L(M2) = {a} -> {a} ∩ {a} = {a} co-HP zastavi -> L(M1) ∩ L(M2) = sigma* -> sigma* ∩ sigma* = sigma* *** v pripade redukcie z HP na dokazanie, ze nie je REC by v pripade zastavenia HP -pri zjednoteni jeden vzdy cyklil druhy kontroloval vstup na 'a' -> M1 - (cykli || prijme 'a') & M2 - cykli -> zjednotenie je 'a' -pri prieniku oba simulovali a kontrolovali vstup na 'a' -> M1 -> (cykli || prijme 'a') & M2 - (cykli || prijme 'a'/sigma*) -> prienik je 'a'
Jakub Menšík ak by pri L(M1) U L(M2) = {a} a redukcii z HP druhy prijimal vsetko tak uz by to bolo zle, nie?
S tím co-HP nevím jistě, to jsem ani nezkoušel, ani to tam nebude. Ta redukce z HP si myslím, že by tak měla být. Já bych pro to sjednocení napsal: M na w zastaví, M1 zkontroluje vstup, pokud je "a", přijme, jinak zamítá a M2 zamítá vše. Ale nejsem si tím sjednocením úplně jistý, ten průnik by měl být dobře. A kdyby při sjednocení jeden přijímal vše, tak je to určitě špatně.
Spýtam sa trochu mimo tému, ale napríklad pri tomto príklady (HP<neznami), ktorý TS robí kontrolu syntaxe ci má ten problém správny syntax. Ten redukčný TS ? A je to kontrola syntaxe HP ?
Zobrazit všechny odpovědi (4)
Ten redukcny dostane na vstup <M><w> takze ten to asi aj musi kontrolovat.
Myslím, že Mσ vygeneruje <M1>, který pak kontroluje, jestli má to <M>#<w> správnou syntaxi, nebo aspoň podle STI mi to tak přišlo. Nevím, ale jak s tím M2
Jakub ma pravdu, to moje je blbost asi.
Asi náhodou nevíte, jak to je s tím M2, že? Já právě nevím, jak u toho M2 napsat tu simulaci, pokud vůbec taky simuluje. Když třeba píšeme, že všechno zamítá nebo přijímá, tak tam žádná simulace není?
MAT Hodnocení EDIT: Dotazník je ešte stále možné vypĺňať! Ahojte, keďže bolo medzi študentmi nášho ročníka cítiť značnú nespokojnosť s predmetom MAT, v snahe o zlepšenie tohoto predmetu pre budúce generácie sme vypracovali rozšírený dotazník, ktorý by mal pomôcť Studentská unie FIT VUT v Brně a aj samotnému vedeniu fakulty pri zlepšovaní spokojnosti študentov s týmto predmetom. Dotazník bude možné vypĺňať do d̶o̶ s̶t̶r̶e̶d̶y̶ 3̶0̶.1̶.2̶0̶1̶9̶ 2̶3̶:3̶0̶. Dotazník je anonymný - login slúži iba pre kontrolu štúdia na FIT VUT a bude od výsledkov oddelený. Prosím, hodnoťte veci s chladnou hlavou a bez vulgarizmov, inak dotazník stratí význam. Vopred ďakujeme za vaše hodnotné názory.
https://goo.gl/forms/AvJEGEEmn5jAl8m12
dobrý nápad
Předpokládám, že nejsem jediný, kdo měl problém s přednášením prof. Šlapala. Je škoda, že pan profesor je naprostá kapacita v oboru a je vidět, že člověk se ho zeptat o půlnoci na cokoli, odpoví jak ze skript, ale.. Bohužel ale jeho přednášející schopnosti.. Na MAT jsem chodil loni a po prvních 2 přednáškách jsem celý předmět vzdal a soustředil se na TIN (ve výsledku i to bylo zbytečné, ale to mimo téma :D )
Zobrazit všechny odpovědi (6)
Človek si musí už počas semestra paralelne s prednáškami čítať skriptá, potom tie dôkazy vcelku dávajú zmysel, inak sa veľmi ľahko stratíš (čo sa mi často stávalo).
Roman Dobiáš a ako velmi su tie dokazy a ich znalost potrebna? Ja si myslim ze to je kamen urazu, prilis vela prednasok je venovanych dokazovaniu kazdej malickosti... pritom zrejme vieme vybrat dolezite dokazy a potom tie menej dolezite, na ktore staci aj samostudium... na logiku nemame cely semester, ale tak tri tyzdne... detto dalsie celky.. na inych skolach sa logika uci semester, algebra semester ci aj dva, a pod... tam si to dovolit mozu
Dávid Bolvanský Osobne mi logika neprišla ako najnáročnejšie učivo. Čo sa týka tých dôkazov, dúfam, že nebudú až také dôležité na štátniciach :D Z hľadiska matematiky sú dôkazy kľúčové.
Roman Dobiáš su klucove ale co sa nepouziva, to sa zabuda do statnic dlha doba a teda skor ako aktivnu znalost skriptovych dokazov je vhodnejsie vediet aplikovat tu matematiku v praxi, pri rieseni problemov. Edit: a ano, logika bola ok. no ta algebra, uh..
Důkazy tam jsou velice důležitý -- díky nim vidíš, kde se ty věty, co jsme se tam učili, vzali a že skutečně fungují. Navíc když pochopíš důkaz, pochopíš i větu, kterou jsi dokazoval. Samozřejmě to, že se jim hlavně v první půlce semestru věnovalo na přednáškách tolik času, že všichni mezitím dávno zapomněli, co se dokazovalo, je taky špatně. Ale chce to rozumný kompromis, ne důkazy zrušit úplně.
S přednášením profesora Šlapala mají studenti problému už několikátý rok... pokaždé se vyplňuje dotazník... a pokaždé je to naprosto k ničemu...
Rád bych se zeptal autora dotazníku, zda byl přítomen na přednášce, kde jsme s Šlapalem diskutovali na téma teorie vs. příklady? Přeju vám, aby se vám s kvalitou přednášek v MATu povedlo něco udělat, ale jestli přijdete s argumentem "lepší zaměŕení na příklady, které se mohou vyskytovat ve zkoušce", tak už tuším, jakou dostanete odpověď.
Zobrazit všechny odpovědi (1)
Problém MATu je z môjho pohľadu to, že z prednášok človek nepochopí tie súvislosti tak, aby bol vôbec schopný nejaký príklad vypočítať. V skriptách totiž sú definície, ale jedna vec je tú definíciu vidieť a druhá vec je vedieť ju využiť v praxi a vďaka nej aj niečo vypočítať.
K cemu to, kdyz se mat stejne bude rusit?
Zobrazit všechny odpovědi (14)
Nepleteš si to s bakalářským studiem, kde se bude z 3 matematik dělat 5?
Neplete, pan Dytrych opravdu v nějakém komentáři zmiňoval, že za dva roky (?) se bude měnit studijní program a v něm se už s MATem nepočítá a nahradit by ho měly dva povinně volitelné předměty zaměřené na matematiku (asi s výběrem jednoho z nich). Nicméně cenu to podle mě má, protože MAT stále ovlivní dva ročníky studentů, což není málo.
Pán Dytrych veľa vecí povedal / sľúbil / navrhol zmenu / delegoval dotaz ďalej vyššie postaveným, nič sa ale nezmenilo. Zlepšenie rozvrhu (aby sme nechodili na nočné ako robotníci), úprava skúškového aby sme nemali 1 týždeň všetko, atď... Zmena príde, ale kedy? O rok? O storočie? Ja už tomu neverím.
Adrián Tóth kedze na kolegia dekana maju pravo chodit len zastupci SU, neplanuje sa verejna diskusia s vedenim ? Studentská unie FIT VUT v Brně Jaroslav Dytrych
Teď jsem na výjezdním zasedání, kde se nový magisterský program řeší. Zatím tedy žádné detaily nevíme...
NOVÝ magisterský program... Takže v náš prospech to zrejme asi nebude.
Adrián Tóth takže jakákoliv změna je zbytečná, pokud se netýká přímo tebe?
Prosím ťa, "v náš" som myslel celý aktuálny 1MIT ročník. Nepíšem tam len o sebe, prečítaj si to znovu.
Ano, já taky.
Prečo by ma malo zaújímať ako sa bude mať nasledujúci 1MIT alebo nBIT ročník? Koho zaujímalo ako sme sa my mali z iných ročníkov? Nikoho. Preto riešim svoj ročník, lebo sa ma to zrejme týka a ešte ani raz som nevidel žiadnu pozitívnu zmenu ktorá bola sľúbená pre náš ročník.
Tak zřejmě tak jako zajímaly další ročníky lidi co přispívají na fitušku, fit wiki, co zpracovávají státnicové otázky, guidy, sbírky. Já bych byl také radši za změny v našem ročníku, ale pokud se může udát alespoň nějaká pozitivní změna do budoucna, nebudu na ni reagovat negativně s tím, že se nejedná o můj ročník, protože pak by mohlo dojít k tomu, že se nikomu změny chtít dělat nebudou, když na ně dostane takovou odezvu.
Jan Koscielniak ale adrian nie je proti zmenam pre dalsie generacie ale proste ako on, aj my ostatni, by sme chceli nejake zmeny vidiet este teraz pre nas rocnik a nie vsetko odkladat na buducnost, na dalsie generacie (ako bude dobra kazda zmena, ale vidime ze cim skor tym lepsie). To sa zhodneme nie?
Dávid Bolvanský to jsem se nesnažil naznačit, nicméně mi nepřijde ok reagovat na možnou pozitivní změnu jen kriticky bez acknutí alespoň nějakého pokroku. Na tom, že by se změny hodily už teď se určitě shodneme.
Proč máte pocit, že se pro nás nic nezměnilo? Pokud vím, tak jsme byli první ročník s novým bakalářským studijním programem, ve kterém jsme neměli povinnou fyziku, měli jsme víc kreditů na volitelné předměty (IEL nám dali do jednoho semestru), rok před námi byly stížnosti na podivné přihlašování na zkoušky z ISA, kdy někteří pak neměli 3 pokusy, a to, pokud vím, u nás taky nebylo. Takže bych to s tím neděláním změn k lepšímu až tak černě neviděla.
Miroslav Kažimír bude aj vyhodnotenie dotaznika? reakcia ludi z FITu na dotaznik? :D
Zobrazit všechny odpovědi (3)
Dávid Bolvanský Dotazník sme odovzdali doc. Růžičkovi, ktorý sľúbil, že sa tomu bude venovať, skúsi o tom pohovoriť aj s prof. Šlapalom a prihliadne na výsledky aj pri plánovaní novej akreditácie. Takže povedal by som, že je to v štádiu riešenia zatiaľ bez známych výsledkov.
K odovzdaniu došlo v pondelok poobede.
Miroslav Kažimír budu zverejnene aspon vysledky dotaznika a odpovede studentov? :D
S MAT už se toho asi moc dělat nebude. Ne že by výsledky dotazníku nebyly brány v úvahu, ale příští týden by měl studentům 3. ročníku přijít mail, který oznámí, že po získání akreditace budou moci přecházet na nový magisterský studijní program, ve kterém MAT není. Místo něj tam bude statistika, kterou bude učit někdo jiný (v jednání už jsou konkrétní jména, která studenti znají a nestěžují si na ně). Tedy nelze vyloučit, že se studenti 1. ročníku rozhodnou přejít všichni a MAT bude příští rok pouze pro opakující...
THE Zkousel nekdo pocitat korelovane ekvilibrium u Battle of Sexes? Jak jste resili soustavu nerovnic a co vam vyslo? Dik!
MAT Zde je pocitany priklad na levy rozklad grupy podle podgrupy https://is.muni.cz/el/1431/jaro2011/M2150/um/23647117/Algebra5.pdf https://is.muni.cz/el/1431/jaro2011/M2150/um/23797307/Algebra6.pdf Dokaze mi nekdo prosim vysvetlit, proc se z S3 berou pouze prvky (1 3) a (2 3) a ne (123), (132), (1.2), (1)? [Edit] - opravil jsem odkazy
V skutočnosti môžeš zobrať všetky prvky z tej grupy S3, ale tie rozklady sa budú opakovať a podľa Lagrangeovej vety dostaneš 6/2 = 3 unikátne roklady, kde 6 je kardinatilta S3 a 2 je kardinalita tej podgrupy.
Příklad na to je i ve skriptech pro S3
THE Ahoj, mate nejake doporuceni, jak se tenhle specificky predmet ucit? Diky :)
Ja jel 2 dny v kuse prezentace a snazil se to pochopit a 35/60. Nejaka odvozeni a definice jsem si rucne prepisoval na papir. Dulezite je jit postupne od zacatku, neskakat po prezentacich, dost to navazuje :)
Doporučuji ještě mrknout na opory (jsou na stránkách předmětu), které jsou oproti přednáškám podrobnější.
HSC ma niekto vypracovany minulorocny riadny termin potreboval by som skonzultovat. Alebo kto ho riesil
TIN konzultace z TINu teda pondělí v 16? je to pro všechny ok čas? večer mu napíšu Edit: konzultace bude v pondělí 16-18 v E104
IMS Dobrý den, mám velký problém, potřeboval bych delší doučování z IMS v 28.1. nebo 29.1. Protože je to časově docela náročné a na poslední chvíli tak nabízím větší finanční odměnu než bývá u doučování. Přesná částka domluvou, kdo prosím skvěle rozumím IMS a dokázal by to se mnou dopodrobna projít se všemi typy příkladů aby mi to dokázal vysvětlit i pro různé varianty a obměny ať se mi prosím ozve pro upřesnění času a finanční odměny.
TIN a MAT Sice je to trochu off topic, ale byl jsem z výsledků z MATu překvapen, a tak jsem si udělal pár propočtů, které by mohly i jiným připadat zajímavé: TIN: 240 - Přihlášeno 170 - Dostalo zápočet (70,83% přihlášených) 83 - Úspěšných na řádném termínu (48,82% se zápočtem) 17 - Úspěšných na 1. opravném (19,54%, kteří neudělali řádný termín) 100 - lidí prošlo 41,67% (počítáno i s lidmi bez zápočtu) MAT: 210 - Přihlášeno 61 - Úspěšných na řádném termínu (29,05% přihlášených) 11 - Úspěšných na 1. opravném (7,38%, kteří neudělali řádný termín) 72 - lidí prošlo 34,29% Obojí je bez konzultací k 1. opravnému termínu a jsou počítání i lidé, kteří se na tyto předměty vykašlali
Otázka je zda ty předměty mají filtrovat nebo ne.... Pokud je odpověd ano tak to evidentně funguje :D
prestiž++;
Zobrazit všechny odpovědi (1)
Podle výsledků z minulých let mu do splnění limitu zbývá asi 38 (každý rok 100 aspon vyhodit) takže poslední termín bude boj v ringu .. On je to přece jen skvělí matematik on si spočítá co tam vložit
Otázkou je, že pokud ze 195 prváků magisterského, co je zapsaných, umře hned v prvním semestru i třeba 100 lidí, tak kdo pak zůstane? 🤔
Zobrazit všechny odpovědi (1)
Nebo chtějí celé magisterské studium zrušit, jen nemají to srdce vám to říct, tak vás raději vykopou do jednoho. Poslední zhasne.