FLP Máte niekto stiahnuté riešenia z prvého opravného termínu? Ak sa pokúsim zobraziť stránky, ktoré Doc. Dr. Ing. Dušan Kolář posielal cez mail, tak mi vypíše chybu: # Forbidden You don't have permission to access /study/courses/FLP/private/exams/solutions/1op2019res-PL.pdf on this server. [https://www.fit.vutbr.cz/study/courses/FLP/private/exams/solutions/1op2019res-PL.pdf](https://www.fit.vutbr.cz/study/courses/FLP/private/exams/solutions/1op2019res-PL.pdf) [https://www.fit.vutbr.cz/study/courses/FLP/private/exams/solutions/1op2019res-PL.pdf](https://www.fit.vutbr.cz/study/courses/FLP/private/exams/solutions/1op2019res-PL.pdf)
https://fituska.eu/viewtopic.php?f=2405&t=26130
Zobrazit všechny odpovědi (1)
Aaa, dík. Nevšimol som si, že dole pridali aj ďalšie temíny.
správa
FLP vedel by prosim niekto zbuchat zadanie alebo skor navod toho sudoku solvera z 1. terminu pretoze v rieseni sa akosi stracam uz pri druhom priklade. a ja som to na skuske vlastne ani necital. teraz to trosku lutujem... dikes!
1. Napsat predikaty pro zjisteni, jestli je prvek v seznamu a pro odstraneni hodnoty ze seznamu. Dat si bacha na to, ze seznam muze obsahovat nenavazane promenne a prvek se s nima nesmi zunifikovat. 2. Transpozice matice. 3. Predikat, ktery bere sudoku reprezentovane matici 9x9 a vytvori seznam bloku 3x3. 4. Predikat, ktery pro danou pozici v sudoku zjisti seznam moznych hodnot, ktere se na to policko daji doplnit. Mame k dispozici predikat getIth(X,M,L), ktery z matice M vytahne radek X do seznamu L. A meli jsme napsane, jak se z pozice [X,Y] v matici urci cislo bloku. 5. Predikat solves, ktery s vyuzitim definovanych predikatu vyresi sudoku, ktere ma na vstupu zadane matici 9x9. Neobsazene policka jsou reprezentovana volnou promennou. Muzem pouzit getIth, getRC, ktery pro zadanou pozici a matici vrati prvek na tech souradnicich a setRC, ktery nastavi prvek v matici na nejakou hodnotu.
FLP Body z riadneho terminu
Histogram?
Zobrazit všechny odpovědi (2)
veľmi mierny vzhľadom na to, aké bolo zadanie
Tento rok sudoku solver :D O rok co tipujeme ze da na prolog? :D
FLP Zdravím, mohl by mi prosím někdo vysvětlit tento příklad pevného bodu. Díky.
Nejak som v tom našiel takýto pattern, neručím za správnosť, ale takto to chápem ja :) Keď tak ma opravte
Rovnakým štýlom bola spravená funkcia delenia v slajdoch
FLP Haskell projekt - body
Pre dalsie generacie - simplify bkg
rka-2-dka
dka-2-mka
FLP plg-2-nka Nemá někdo prosím k dispozici testy na tuto variantu projektu? Díky
FLP Zdravím, našiel by sa niekto, kto by bol ochotný hodiť sem minuloročný graf pre zadanie Rubikova kocka? Ďakujem :)
FLP projekt 1, dka2mka má niekto dobré testy?
FLP projekt vymením simplify-bkg za dka-2-mka
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č :)
FLP vidíte už vo wise varianty 1. projektu? dnes má byť registrácia a mám tam prázdnu tabuľku :/
v suboroch predmetu su zadania
Zobrazit všechny odpovědi (9)
jasné, to som videl, len tam nemám tú samotnú tabuľku na prihlasovanie, takže neviem či sú nejaké limity na zadania (počet ľudí)
no ono sa to podla mna da zratat. pocet prihlasenych studentov deleno pocet zadani. ale neviem zkade zozenies pocet prihlasenych
Maroš Basy Vasilišin Loni byl limit myslim 20, nebo 40 lidí na variantu
Martin Riša Podle registrací je tam právě přihlášených 126 lidí.
loni neboli myslím jednotlivé varianty limitované
Juraj Kubiš Díky za opravu A omlouvám se za mystifikaci
Juraj Kubiš celkom ma prekvapuje az 60 ludi na minimalizacii :D co stoji za tym fenomenom 60 ludi na MKA? :D
Dávid Bolvanský netuším, ale toto bol histogram tejto varianty minulý rok
Dávid Bolvanský minimalizace je tutorialovy priklad pri uceni se s haskellem. Prohledavani stavoveho prostoru je ve funkcionalnich jazycich nadhera :D
Psal už někdo e-mail panu Škarvadovi? :)
Zobrazit všechny odpovědi (2)
Chtělo by to
Psal jsem mu včera večer.
este stale nikto nic?
uz to tam je
FLP Ahojte, je tu niekto, kto mal minulý rok projekt plg-2-nka (pravá lineárna gramatika na nedeterministický konečný automat)? Ako hodnotíte náročnosť, odporučili by ste niečo iné? Mohli by ste keď tak poslať histogram tejto varianty? Vďaka :)
Měl jsem to předloni, takže si to úplně živě nepamatuji, ale vím, že na projektech ve FLP bylo pro mě nejtěžší pochopit, jak dané jazyky fungují (po programování v C, je to dosti zvláštní :D) a jinak problém až tak nebyl, ale to mohu být jen já. Přikládám histogram z předloňska pro tuto variantu a pro celý funkcionální projekt, kde jde vidět, že výsledky pro tuto variantu jsou poněkud "plošší" a asi jsou lepší zadání
Zobrazit všechny odpovědi (1)
Ak necheš niečo spojené s TINom odporúčam Ford Fulkersona (tok v grafe). Keď pochopíš algoritmus a princípy Haskellu tak to stačí už len naprogramovať. Nebolo na tom nič čo by ma zaskočilo.
Zobrazit všechny odpovědi (1)
V mém ročníku si to dal jen jeden člověk, který dostal 0 bodů :D Evidentně se lidi přihlašují na věci, o kterých aspoň trochu dopředu něco ví :)
Podelil by sa niekto aj o graf SIMPLIFY-BKG? :)
Zobrazit všechny odpovědi (4)
Jan Trčka nemáš aj dka-2-mka? :)
Juraj Kubiš
Jan Trčka díky moc! :)
Pokud se nechceš moc nadřít, tak můžu doporučit BKG-2-CNF. Jedná se "jen" o přepis formálních algoritmů z TINu do Haskellu.
FLP MBS Ahoj. Co se učíte k otázce 25 - Prolog - změna DB/programu za běhu (demonstrace na prohledávání stavového prostoru, práce se seznamy)?
assert, retract, listing, stavovy priestor nadefinovany napriklad pomocou binarnych faktov, ktore reprezentuju hrany v grafe a nad tym nejaky DFS predikat ktory vypise vsetky cesty. K zoznamom snad veci ako [Head|Tail], co to znamena a ako to pouzivat pri tvoreni predikatov napr. na spojenie, reverzaciu, zoradenie atp.
Zobrazit všechny odpovědi (5)
Děkuji. Vycházel jsi z přednášek, nebo máš nějaký lepší materiál?
prednasky, slidy a zdrojáky ku cvikám, nejaký youtube tutoriál a dodatočné googlenie
To máš Koláře v komisi nebo se takto pečlivě učíš všecko? :D
nie, este to mam v kratkodobej pamäti zo vcera :D :D
ale tak po tomto rozhovore si to uz zapamätám
namiesto slova predikat by som asi mal pouzit slovo klauzula... whatever
Zobrazit všechny odpovědi (11)
Nejaky hlavni rozdil mezi predikatem a klauzuli? Klauzule je konkretnejsi?
v tomto kontexte sa klauzula = formula predikatovej logiky prvého rádu ktorá je vo forme disjunkcie literálov. Takže áno :D. Ak nie sú žiadne literály v negatívnej forme, jedná sa o fakt, ak nie sú žiadne v pozitívnej forme, tak je to query a ak sú aj také aj onaké tak je to pravidlo. Toto je asi tiež celkom pekná vec čo sa dá povedať k tejto téme.
Nebo prostě říct, že to je klauzule bez těla, hlavičky...
Klauzule bez tela je fakt ktery je predikat tak jako klauzule s hlavickou jeslti to dobre chapu :D
to ale neznie tak odborne a nezabije to tolko času :D
btw term vs literál? :D
literál je napr Filip a term je muz(Filip), alebo naopak?
Ja beru muz(Filip) jako fakt -> klauzule bez tela a je to taky predikat
Není Filip spíše proměnná? Literál by byl filip... :D
Filip je podle me konstanta na urovni termu :D Literal (alespon podle toho co pisou u SAT problemu) je prave promena (bud negovana nebo ne)
vzhladom na definiciu predikatu "A predicate is a statement that may be true or false depending on the values of its variables", tak by som povedal ze "muz" je predikat "muz(filip)" je fakt a "muz(X) :- ..." je pravidlo
FLP Nemáte někdo dobrý zdroj na vysvětlení SLD rezoluce?
je to dobre popsane ve skriptech od kolare k predmetu FLP ;-)
http://www.ale.cs.toronto.edu/docs/ref/ale_trale_ref/ale_trale_ref-node44.html
FLP lambda kalkul vedel by niekto poradit, ak mame lambda vyraz ktory ocakava 2 parametre, ale podhodime mu len 1, vykona sa ten vyraz? nieco ako (\xy.xy) True teda ocakava x,y ale dame mu len x
Dosadí se True za x a skončí, protože už nemá co dosadit za y, zbyde (\y.True y).
Zobrazit všechny odpovědi (1)
ďakujem
FLP Máte někdo otázky z řádného termínu? Kolář sice poslal výsledky, ale bylo by docela fajn vědět,na co se přesně ptal :)
https://fituska.eu/viewtopic.php?f=2176&t=25849
FLP Umel by mi prosim nekdo vysvetlit jak funguje tato figonaciho posloupnost v haseklu? fib :: Int -> Integer fib n = fibs !! n -- Vrat n-ty prvek z pole fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs
Napr pre (fibs!!4) zacne haskell postupne ziskavat prve 4 elementy vyslednej postupnosti: 1) vezme 0 2) vezme 1 3) vezme prvy element z vysledku operacie (zipWith (+) fibs (tail fibs)) v tomto kroku je hodnota fibs [0,1,...] a tail fibs [1,...] (haskell sa v tomto pripade zaujima len o prvy prvok pola fibs a tail fibs => lazy evaluation) takze vysledok zipWith (+) je vlastne pole [0,...] + [1,...] = [1,...] => fibs pole sa rozrastie o dalsiu hodnotu 1 4) vezme druhy element z vysledku operacie (zipWith (+) fibs (tail fibs)), prvy element sa uz nepocita fibs = [0,1,1,...], tail fibs = [1,1,...] => druhy element vysledku zipWith je teda [0,1] + [1,1] = [1,2] => 2 5) piaty element ho uz nezaujima => vracia 0:1:1:2 => konkretne 4ty element takze 2
Zobrazit všechny odpovědi (5)
Jak se mně v tom fibs = 0 : 1 zipWith (+) FIBS (tail FIBS) najednou zjevi nekonecny seznam prosimte? Nedokazu si to moc predstavit. A jaktoze vzdy k seznamu pripojujes jen jeden prvek, kdyz ti vyjde seznam?
to je definice jak ten seznam vypada, nevyhodnocuje se cely. dokud se haskellu nezeptas na nejaky prvek, tak se nic nedeje, po dotazu si to zacne vyhodnocovat po prvek ktery potrebuje
no zipWith nerata vysledny zoznam pararelne ale postupne.. takze => (1. element + 1.element) : (2.element + 2.element) ... s tym ze ak zavolas napr (zipWith (+) [1,2] [3,4])!!1, tak operaciu 2+4 vobec nevykona, lebo vie ze z vysledku potrebujes len prvy element
Možná chápu, asi se na to vyspím a zítra to řeknu s určitostí :D Zatím díky.
Jakub Tutko jinak nahoře myslíš asi, že hodnota 2 + 4 se nevykoná.
FLP - Semestrálka opravená
je mozne na reklamacich dostat 2b do minima?
Zobrazit všechny odpovědi (5)
Přečti si mail
Dám sem copypaste, protože mě to pobavilo, tak ať můžou kouknout i neFLP lidi :D Btw taky mi chybí 2 body, naštěstí ne na minimum. :D "Vězte, že ač je to statisticky prakticky vyloučeno, tak naprostá většina z vás je buď přesně, nebo +-2 body od nějaké "magické" hranice. Zvažte návštěvu a zejména potom setrvání. Nejedná se o konzultace, opravdu o reklamace, tedy co je špatně spočteno, co jsem opomenul v hodnocení, takže otázky jako "Co mi na tom nejede?" a "Jak to má být dobře?" nejsou ty správné. Možné řešení jsem vám zaslal, tam hledejte odpovědi na tyto otázky. "
No jde mi o to, zda to ma smysl ten mail je napsany tak vselijak...
Lukáš Habarta Určitě to má smysl z toho hlediska, že nevíš, jestli náhodou fakt něco nepřehlédl. Spíš nemá z toho hlediska, že body rozdával poměrně štědře. Ale být tebou, tak tam zajdu, za podívání se nic nedáš. ;)
Občas se Kolářovi stává, že má člověk část příkladu dobře, ale dá za to nulu. Je určitá šance, že když mu ukážeš, že máš část příkladu správně, že bod, dva možná přidá.
FLP Pokud se někomu podařilo "zvěčnit" dnešní zkoušku, prosím o vložení do sdíleného docu, nebo zvěčnit na fitušku :)
FLP Operátor pevného bodu V prvním příkladu https://fituska.eu/download/file.php?id=11612 se má definovat GE. Má to řešení správně, nebo je tam chyba a (f prev y) na konci řádku má být pouze (prev y)?
https://fituska.eu/download/file.php?id=11612
Podle mě tam má chybu. Jinak přijde mi, že má v těchto ukázkových řešeních plno chyb, vlastně většina věcí, které odtud zkouším, nefungují (hlavně Prolog)
Zobrazit všechny odpovědi (6)
Tak to je fajn, zrovna jdu prolog dělat a docela jsem na jeho řešení spoléhal :D
Koukal ses na lonsky prolog - proheldavani stavoveho prostoru (prvni priklad)? https://fituska.eu/download/file.php?id=12723&sid=5df67c08f896c12df66aa9813a991732 Prijde mi, ze poradi nasledujicich funkci je taky blbe - druha se nikdy nezavola, jelikoz vzdy bude splnena podminka te prvni. mks(S,E,_) :- search(S,E,0,[]). mks(S,_,[S|Path]) :- ppos(Path). Je to tak?
Jo, to je jedna z věcí, kterou jsem myslel :)
Podle me je to spravne, kdyz se podivate do search, tak uspesna vetev vzdycky konci '!, fail', takze podcil search vzdycky failne a pak to spadne do te druhe definice mks. :)
Tak jsem asi myslel něco jiného :D když jsem si to spustil, prostě to nikdy neunifikovalo výsledek, pokud jsem rovnou nezadal, že startovní a cílový bod je stejný
Trošku jsem to upravil do dle mého funkční podoby, kdyby měl někdo zájem: https://pastebin.com/bdnVjbW5
FLP Nemáte někdo zazálohované oficiální řešení FLP semestrálek (1. a 2. opravný) z minulého roku, co posílá Doc. Kolář vždy e-mailem? Jestli ano, můžete to sem někdo postnout. Díky moc.
nie je to z minuleho roku ale snad to niekomu pomoze https://webshare.cz/#/group/31x6B559c3/ taktiež budem rád keby niekto sem postol tie z minulého roku. :)
na fitusce je lonksy radny https://fituska.eu/viewtopic.php?f=1957&t=25642
Zobrazit všechny odpovědi (2)
Ano, to vím, jde mi spíš o ty opravné.
ah, mb
Nemám, ale z druhého opravného podle mě ani neposílal (ani v mailech jsem nic nenašla) :-)
Zobrazit všechny odpovědi (5)
Díky za upozornění, toho jsem si ani nevšiml, ale z prvního opravného určitě posílal, ale ten odkaz mi háže bohužel Forbidden :(.
ano, to posílal a jsem na tom podobně :)
Aneta Kvapilová Kdybychom neměli lazy evaluation, tak si to zazálohujeme už minulý rok :D
Pavel Hřebíček já ho neměla, ale stal se mi nějaký error s celým archivem za ten semestr a je prázdný :D :D asi chyba v matrixu 🤔
Neco podobneho s FIT archivem se mi stalo na bakalarskem, chtel jsem nakonec vsechny posbirane materialy z BIT zazipovat a dat k dispozici mladsim rocnikum, jenomže jsem vše uložil pouze na externí HDD. No a po státnicích jsem dostal "error 9404: vykradený byt - disk not found" :D je to asi prokletí materiálů na FITu
FLP Co myslíte, můžeme používat věci naprogramované v IZU?
Doktorand co Vám to bude hodnotit byl ještě donedávna studentem stejně jako vy. Na základě toho a toho, jak se za těch pár let co tu jsme vyjádřil v různých skupinách bych očekával, že k tomu bude mít pragmatický přístup a bude to brát. (Ale je to jenom moje domněnka).
FLP Projekt2 - Kdo by se chtěl podělit o automatické testy k některému zadání, vkládejte název zadání, odkaz na ně a stručný popis použití jako komentář k tomuto příspěvku. Čím víc testů, tím lepší je šance, že člověk nic neopomene.
[Nedeterministický TS]. Binárku umístite o úroveň nad složku s těmito testy a spustíte 'run_tests.sh' bez parametrů. U testů č. 3 a 8 budete muset asi přepsat .out soubor, aby odpovídal vašemu výstupu. https://uloz.to/!TLwquInvKPZb/testy-zip
Solved FLP projekt 2 Ahoj, netuší někdo prosím proč při výpisu typu 'write("Rules:\n")' se mi to na merlinovi vypisuje jako pole ASCII hodnot : [82,117,108,101,115,58,10]?
Zkus write('Rules\n')