FLP Body
FLP věděli byste někdo, jak dokázat toto?
no asi bych to tam napsal trochu neformálně (jen ta poslední část): x: take(n-1) xs ++ drop (n-1) xs = ... x : .. : xn : take 0 xs ++ drop 0 xn+1..xs = x : .. : xn : [ ] ++ xn+1..xs = x..xn ++ xn+1..xs = xs ty n, n+1, s u x jsou indexy nic lepšího mě nenapadlo
Zobrazit všechny odpovědi (2)
Jo, právě o to mi jde :D nevím, jak by to takto neformálně Kolář přežil
snad jestli by to šlo pro nějakou konstantu? protože to n je konstanta prakticky
toto som nasiel v zdielanom dokumente :)
Zobrazit všechny odpovědi (4)
Jo, tohle vypadá dobře :D
len tam na konci co je ten I.P. pouzity tak neviem ci sa tam moze pouzit ked tam mame (n-1) a v predpoklade je n
Šimon A co kdybychom dali n-1 už do indukčního předpokladu? :D
no aj to je moznost :D
vetsionou stejne, jako je ve sdilenem dokumentu, ale myslim si ze je potreba rozlisovat situace, kdy je n >0 a kdy je n <= 0: take n xs | n <= 0 = [] --- 1 take n [] = [] --- 2 take n (x:xs) = x : take (n-1) xs --- 3 drop n xs | n <= 0 = xs --- 4 drop n [] = [] --- 5 drop n (x:xs) = drop (n-1) xs --- 6 [] ++ ys = ys --- 7 (x:xs) ++ ys = x : (xs ++ ys) --- 8 pokud xs == [] take n [] ++ drop n [] = [] L = take n [] ++ drop n [] = // 2 zleva doprava [] ++ drop n [] = // 5 zleva doprava [] ++ [] = // 7 zleva doprava [] R = [] L = R pokud xs = (a:as) a plati (pro vsechna n): take n as ++ drop n as = as --- IH potom dokazuji ze plati: take n (a:as) ++ drop n (a:as) = (a:as) tak pro n <= 0: L = take n (a:as) ++ drop n (a:as) = // 1 zleva doprava [] ++ drop n (a:as) = // 4 zleva doprava [] ++ (a:as) = // 7 zleva doprava (a:as) = // pryc zavorky a:as R = (a:as) = a:as L=R a pro n > 0: L = take n (a:as) ++ drop n (a:as) = // 3 zleva doprava (a : take (n-1) as) ++ drop n (a:as) = // 8 zleva doprava a : (take (n-1) as ++ drop n (a:as)) // 6 zleva doprava a : (take (n-1) as ++ drop (n-1) as) = // IH zleva doprava a : as R = (a:as) = a:as L=R
FLP Dokážete někdo polopatě vysvětlit, jak udělat AND (nebo cokoliv jiného) nad LET True = \xy.xy LET False = \xy.yx ?
Musíš tam přidat extra lambdu, která to druhé "sežere".
Zobrazit všechny odpovědi (10)
LET AND = \ab. a (\k. b) (\k. False)
True ti to nechá v tomto pořadí, a to druhé se pohltí tím \k. False ti to prohodí, a zase to stejné
a jak poznam kam tu lambdu dat?
Jaroslav Vystavěl Nerozumím otázce
Tady je false = \xy.yx, true klasicky. Jak poznam, napr. kde v tom ternarnim operatoru bude ta pridana lambda?
Tady je to obdobny. Nemam problem odvodit ten vyraz pro true/false zadany klasicky (true - vybira prvni argument, false-druhej). Netusim jen jak upravit ten vyraz tak, aby byl spravne i pro jinak nadefinovany true/false. Metoda pokus-omyl asi neni optimalni.
Tak ?: bude pro toto true a false takto: \abc. a (\t b) (\t c) Když je a True, chceš to první. Když je False, tak to druhé. Když víš, že ti jen prohodí první a druhé, potřebuješ zajistit aby tam zůstalo jen to první a to druhé zmizelo.
Nevím, jak ti říct kam to přesně dát, to si musíš logicky vyvodit. Pokud je False \xy.yx a True \xy.x, tak ti stačí když necháš to první normální (True to vybere a máme to) a druhé dáš s "papací" lambdou (False to jen prohodí a potřebuješ, aby to nevhodné zmizelo)
Díky za koment Radek. Podivam se na to.
Např. pro takové True a False by to bylo Let NAND = \ab. a (b False (\k True)) (\k True)
věděl by někdo s těmito definicemi vyplodit NAND?
Zobrazit všechny odpovědi (8)
\ab. a (\w NOT b) (\z. T) este ten not si potom rozpises
Matúš Bútora ještě dodefinuj to NOT ale :D
\x. (\z.F) (\w.T) tak a teraz to dopis za not :D
Matúš Bútora díky, furt mi tam chybělo to \w
ked to neni to klasicke True False ktore ti automaticky pozieraju tak tam potom musis to \w dopisat aby zahadzovala to co nechces :D
Matúš Bútora a to \w mam teda dopsat ke vsem True a False ve vyrazu? edit: Kdyz to udelam, tak to nevychazi :D
asi som to ma byt len \ab. a(\w not b) T :D
Jaroslav Vystavěl hore som to zle napisal asi to ma byt len T, cize len v tej prvej zatvorke (\w not b) aby ked si a rozpises za \xy.xy zahodilo ten ypsilon, sory uz som sa aj ja v tom stratil
Potrebujes aby AND byl takovy, ze AND False _ = False AND True v = v takze, musis se rozhodnout na zaklade prvniho parametru (coz je True nebo False, tedy nejaka funkce) dejme tomu ze AND = \u v. u a b ------- rozhoduju se na zaklade prvniho parametru, ale potom nevim co dat misto a,b ale vim, ze False mi to prehodi AND False v = b a = False -------- jak zaridim aby z vyrazu "b a" bylo vzdy False? b musi byt nejaka funkce, ktera zignoruje jeden parametr (v tomto pripade "a", a vrati False) Tedy b = (\x. False) Podobne True mi to ponecha ve stejnem poradi, a potrebuju aby byl vysledek "v" AND True v = a b = v ------ podobne, musim udelat funkci "a" takovou, aby nezavisle na svem jedinem parametru vzdy vratila "v" a = (\x. v) celkem tedy vyjde AND = \u v.u (\x. v) (\x. False)
Zobrazit všechny odpovědi (1)
Díky, moc, přesně tohle vysvětlení jsem postrádala (y) :)
FLP Ak by sa niekomu hodilo :)
https://docs.google.com/document/d/1HqRq58-V1igTrZ1oM9-QNkG2No2FRqBBn5rC94aX11w/edit#heading=h.f7nosneoqqt
FLP Je zítra v 8:00 cvičení?
FLP dka-2-mka Ahojte, chápu že se možná ptám přiliš brzo, ale vím že už někdo pracuje nad projetem. Mám dotaz: podle čeho pojmenovávate stavy výsledného MKA, podle indexu anebo podle nejmenších hodnot stavů z patřičných tříd(na příkladu je lépe vídět co myslím)? Nechť po minimalizaci mě vyšli ekvivalenční třídy : 1. ["1", "6"] 2.["2", "3"] 3.["4", "5"] A přechody: ["1", "6"] -a,b->["2", "3"] ["2", "3"]-a,b->["4", "5"] ["4", "5"]-a,b->["1", "6"] a stav ["1", "6"] je koncový; jak by měli vypadat výsledná pravidla? (1) varianta 1 -a,b->2 2 -a,b->3 3 -a,b->1 protože jsou to indexy ekvivalenčních tříd; (2) varianta 1 -a,b->2 2-a,b->4 4-a,b->1 protože min["1", "6"] = "1"; min["2", "3"] = "2"; min["4", "5"] = "4"?
Já beru minimum, připadá mi to nejjistější. Indexy jsou závislý od toho jak konkrátně to máš napsaný. Bavili jsme se o tom po cvíku i se Škarvadou a vypadal trochu zmateně. Prvně říkal něco ve smyslu, že je máme přejmenovat, aby byly stavy od nuly bez přeskakování, ale neřekl jak konkrétně a pak to změnil na nejmenšího zástupce. Stejně zůstává otázka jesi to máš řadit jako čísla (0 < 5 < 100) nebo řetězce ("0" < "100" < "5"). Podle mě by si měl stejně napsat skript co zkontroluje jesi je to izomorfní, protože do zadání žádný požadavky na řazení nenapsal.
Zobrazit všechny odpovědi (1)
Mám ůplně stejný názor. Také bych chtěl to pojmenovávat podle nejmenšího, ale problém je ten že 100 > 5, ale "100" < "5"; indexy se mě moc nelíbi protože, jak jsi psal, indexy jsou závislé na implementace. Každopaně jsem mu napsal mail, snad zítra odpoví
Mal som toto zadanie pred rokom a je jedno ako stavy pomenujete, skript stym počíta, ak sa teda nezmenil keďže mate nových cviciacich ale pochybujem
FLP nekdo kdo fest rozumi a umi vysvetlit Lambda kalkul?
Tomáš Hanák :D
Zobrazit všechny odpovědi (2)
pana Hanaka znam :D
já vím, proto ho zmiňuji :) uměl to dost dobře na zkoušku
již zde byl nějaký odkaz: https://www.facebook.com/groups/vutfitmit2017/permalink/1775746289137349/ nebo jedná se o nějaký konkrétnějíší problém / příklad?
Zobrazit všechny odpovědi (1)
To je hodně light weight vysvětlení. S příkladama na zkoušky to dostačující nebylo.
FLP Může se hodit na pochopení lambda kalkul
https://publications.petrzemek.net/articles/PZ_-_IPP-Lambda-Kalkul.pdf
FLP Tak ze zvědavosti, proč jste si hlavně vybrali dka2mka?
Já sem si to vybral, protože mně to přišlo nejzajímavější...
FLP Byl by nekdo ochotny vymenit svuj termin cvik z (lichy pondeli) na (sudy pondeli)? Moc byste mi tim pomohli :D Dakujem.
FLP Byl by nekdo ochotny vymenit svuj termin cvik z lichy pondeli na sudy pondeli? Moc byste mi tim pomohli :D Dakujem.
FLP vraj sa práve registrujú cviká
FLP 2. Nadefinovat typ pre "shodne", "ruzne", "odlisne", a typ pre binarny strom pricom hodnota je iba v listoch a typ hodnoty je neznamy. Vytvorit fciu compareT, kt porovna dva stromy a vrati: "Shodne" ak su stromy rovnake v strukture a aj v hodnotach na listovej urovni "Odlisne" ak maju stromy rovnaku strukturu ale lisia sa hodnotami listov inak "ruzne" [6b] Nevedel by prosim nekdo jak na to? Pripadne nenasel nekdo reseni od Kolare?
data Typ = Zhodne | Podobne | Rozne deriving (Show, Eq) data Tree a = List { value :: a, left :: Tree a, right :: Tree a } | Null deriving (Show, Eq) comp :: Typ -> Typ -> Typ comp x y | x == y = x | x == Rozne = x | y == Rozne = y | x == Podobne = x | y == Podobne = y compareT :: Eq a => Tree a -> Tree a -> Typ compareT (List x y z) Null = Rozne compareT Null (List x y z) = Rozne compareT Null Null = Zhodne compareT x y | (value x) == (value y) = comp (compareT (right x) (right y)) (comp Zhodne (compareT (left x) (left y))) | otherwise = comp (compareT (right x) (right y)) (comp Podobne (compareT (left x) (left y)))
nejak extra som to netestoval len na malom strome
FLP Nemel by prosim nekdo reseni k 2. cviceni z prologu? Diky
Na cviku jsem nebyl, ale tady jsem to udělal po svým (někde uprostřed) https://www.dropbox.com/s/afof4s7ftc8vmz9/test.pl?dl=0
FLP neříkal náhodou kdy to opraví?
Dneska, nejhůře zítra.
Zobrazit všechny odpovědi (2)
uz som ti veril :(
Já jsem tomu věřil také, a nic. :(
Daniel Dušek to rikal nebo trolis? :D
Jako taky jsem slysel, ze to nekdo rikal, ale od Duska.. :D takovy to Parvati rikala, ze Dean rikal, ze Peter rikal, ze te chce Hagrid videt v lese
Zobrazit všechny odpovědi (2)
Peter se hned ozval. :D
Uz zacal nahazovat, asi to bude delat jednotlive
Zobrazit všechny odpovědi (1)
Ja už mám opraveno jelikož jdu ke státnicím. Když jsem se byl podívat na písemku po řádném termínu tak mi tam říkal, ať mu řeknu u odevzdávání že státnicuju, že si nás dá bokem a opraví nás hned.
FLP Nemá niekto zdielaný dokument čo bol k polsemke?
https://docs.google.com/document/d/1HqRq58-V1igTrZ1oM9-QNkG2No2FRqBBn5rC94aX11w/edit?usp=drivesdk
Zobrazit všechny odpovědi (1)
FLP Někdo kdo by dokázal vysvětlit, jak funguje tady ta část kódu, která pokud dostane proměnnou, tak by ji měla unifikovat v tabulce [w(Var,Value)] : myEval(T,var(V),R) :- getVal(T,V,R),!. getVal([w(V,Value)|_],V,Value) :- !. getVal([_|WS],V,Value) :- getVal(WS,V,Value). Asi to špatně chápu a pak špatně volám: ?- myEval([w(A,true),w(B,false)],B,Res). B = var(A), Res = true.
myEval([w(a, true), w(b, false)], var(b), Res). Identifikátory začínající velkými písmeny jsou v prologu proměnné. A to getVal jen prochází ten seznam v prvním parametru a hledá prvek, který odpovídá druhému a třetímu parametru.
jo to prave chapu, jen jsem videl definici myEval(T,var(V),R).. var() vraci true, kdyz je to volna promenna tedy velke pismeno ne? V tomto se trosku motam, jako obecne ten Prolog znam, ale tady u tech var() a tak plavu :)
Hele a jak to potom funguje v kontextu celeho toho prikladu? Protoze mam to jako: myEval(_,true,true). myEval(_,false,false). myEval(T,var(V),R) :- getVal(T,V,R),!. myEval(T,t(A,and,B),Res):- myEval(T,A,AA), (AA=false,Res=false; myEval(T,B,Res)),!. myEval(T,t(A,or,B),Res):- myEval(T,A,AA), (AA=true,Res=true; myEval(T,B,Res)),!. myEval(T,t(A,not),Res):- myEval(T,A,AA), (AA=true, Res=false; Res=true),!. getVal([w(V,Value)|_],V,Value) :- !. getVal([_|WS],V,Value) :- getVal(WS,V,Value).
ale takto mi to pak nefunguje... ?- myEval([w(a,true),w(b,false)],t(true,and,var(a)),Res). false.
myEval([w(a, true), w(b, false)], t(true, and, var(a)), R). - tohle mi vrací true a to var() podle mě není myšleno jako ten predikát na zjištění jestli se jedná o proměnnou (protože je v hlavičce predikátu a taky pokud si dobře pamatuji, tak nebyl povolen použít), ale jako prostě jen jako term co dává najevo, že je to nějaká proměnná toho výrazu.
Aha tak to jo, taky mi to ted jede, diky moc
FLP Je niekde k dispozícii zadanie prvého termínu?
ehm... fituska? :) Oficialni ale neni, jestli se ptas na tohle
Zobrazit všechny odpovědi (1)
Dúfal som že ho pán Dušan zverejnil niekde keď zverejnil riešenie :D diky teda za info
Aha tam je jen reseni, tak z neho odvodit :-D
Zobrazit všechny odpovědi (1)
Zbyněk Červinka Můžeš subjektivně označit tuto formu přípravy za dostačující, v rovinách FLP?
FLP bol už niekto pozriet Dušana? Že akú má náladu?
Byl jsem tam a říkal, že seš jasnej.
Zobrazit všechny odpovědi (1)
Urobil som mu náladu keď som šiel reklamovať že mám o bod navyše nech mi ho odmaže :D smial sa jak pán
FLP body
FLP má větší úspěšnost než PDS a to docela o dost.
Na PDS se ale taky necelejch 50 lidí ani nedostavilo, možná to s tím bude mít nějakou souvislost. :D
Co se myslí tím, "necelejch"? Přišel tam nějakej pulčar?
Proč máte stejný fotky? Vy se milujete? Můžeme se případně milovat spolu !
Nemůžeme, chybí ti jazyk a barevná fotka! :D
niekto skusenosti s reklamaciou u DK? sanca ze prida 2b? :D
FLP nehovoril niekto kedy bude opravené?
feeling sad
Ptal jsem se ho a říkal, že Pavelkovi to může být jedno, že ten se může rovnou začít učit na opravnej.
Zobrazit všechny odpovědi (27)
Nebol to Karel?
Daniel Dušek nemá Dušan FB že by som ho označil ? :D
seems legit https://www.facebook.com/dusan.kolar.18
Jordán Jarolím nebudem sa vyjadrovať lebo dostanem F až si to prečíta. Ja mám Dušana rád a je to moj najobľúbenejší ucitel :(
Můžete mu napsat na twitter, jestli chcete :-)
ale myslim ze ten otraveny vyraz nad neschopnosti studentu by mohl klidne prevzit... nebo to tenhle ten prevzal od nej? thats the question
@neurcitek
Fakt nikto nemal gule sa ho po skúške spýtať?
Ale teď ve vší vážnosti: Zkušenosti mám z PDB, FLP a IPP a musím říct, že ať mám za ty roky z Dušana jakýkoliv pocit, jeho zkoušky jsou vždycky férové.
Daniel Dušek neviem či bolo fér to s tou boolovou algebrou zrovna
Daniel Dušek Asi jo, ale ta empatie je k nezaplaceni...
Martin Pavelka Booleova algebra? Nepleteš si to spíš s tou podělávkou od profesora Češky v 2. opravném TINu? :D
Martin Pavelka: A doc. Dušan Kolář nemůže být Tvůj nejoblíbenější učitel, protože už je můj nejoblíbenější učitel.
Dušan je v pohodě, jen studenti z něj dělají toho kým je ...
Bolo tam nieco s and a or a not a vobec som nerozumel co po mne chce nech som to cital 20x a ani slečna vedla
jo tenhle prolog :D
Ok, právě ses přiznal, že jsi psal zkoušku ve špatné víře. Jdu Tě v dobré víře (pro Tvoje dobro a Tvou nápravu) raději naprášit.
Ak mi to da neham mu na vrátnici cokoladu :)
Ono je priestupok byt Protestant ? :D
Ne, přestupek je, že víš, že slečna vedle Tebe tomu nerozuměla. Seš jasnej.
Třeba se zeptal po písemce ;-)
Nie počúval som ich dôverný rozhovor
Hmm, tak to je větší hnus než jsem myslel ... poslouchat cizí rozhovory
A kurvaaaa
Počul som niečo ako "nechapem tomuto zadaniu", "tak tam urobíte nieco a potom takto", "nerozumiem", veď takto a potom takto, aha tak ja si to este par krat prečítam asi
still feeling sad
FLP Prosím...
Jan Černý
Zobrazit všechny odpovědi (1)
Já to jako mám vědět?
https://media.tenor.co/images/4d34549b845eb220d4c3d17b786dc7ab/tenor.gif
Bohakrista a v tom se jako někdo vyzná?
Hej mame to dekodovane na 90 percent
A jak dlouho vám to trvalo, v kolika lidech a po kolika flaškách? :D
2 ludia a asi hodinu tento priklad :D
LSD a trocha koksu...
Zobrazit všechny odpovědi (4)
Skus DMT a zapi to cementom, stretnes sa s bohom :-D
Pomoze to na Prolog ? :D
s Prologom nepozmoze ani Boh, jedine ak Dusan :-D
Snad v piatok bude nalada pripit si kvalitnou 50 bodovov dusanovicou :D
Problem solved. Mistr Marek Beňo mi precital zadanie. Nejedna sa o pocet krokov ale o zmeny smeru :-). V tom pripade to je jasne.
Z jakého zdroje je ten obrázek prosím?
Zobrazit všechny odpovědi (1)
Fituska
FLP Ako sa to ucite ? Skacete z okien na intraku ci ? Pozerame na ten prolog a .... ..... ... chceme skoncovat :D
Jan ty budes vediet :D
Zobrazit všechny odpovědi (13)
Já nic nevím
Aj nic moze byt nieco :O
Tak nevím ani nic
Jak mozes nevediet ze vies nic ? :D
To nevím
No ale chapes ma... ked povies to nevim .. tak to proste vies ze nevies :O horsie je nevediet ze vies
To je už nějaký náročný
:D ano, tak teraz vies presne ako sa citim pri tom prologu to som cely cas chcel :D
Aha a co proti tomu budeme dělat?
vzbura, opilectvo? :D neviem ja sa cely den ucim a haskell ok relativne ale prolog absolutne :( neviem odkial sa to ucit... chcel som ci nemas nejake speci zdroje
Opilectví
:D pred ci pocas alebo po skuske?
Všechny 3 možnosti
Martin, podáme sťažnosť na rektorát? Založíme petíciu?
https://www.youtube.com/watch?v=Sagg08DrO5U
Zobrazit všechny odpovědi (3)
nepomáha už ani ten
Martin Pavelka já se taky dívám na Prolog
Zobrazit všechny odpovědi (2)
pocity?
Raději nemám pocity.
ja si s Prologem uzil na projektu dost takze to uz sem nejak presel :D
Zobrazit všechny odpovědi (1)
Pozerame na prolog a chceme skoncovat s Jan Cerny :-D preco to s nim chcete skoncovat? :-D
Zobrazit všechny odpovědi (1)
to by me taky zajimalo
Martin Pavelka Any progress here?
Zobrazit všechny odpovědi (12)
Nothing :(
Martin Pavelka a proč máš tak velké uši?
Aby som Ťa na písomke lepšie počula
Jane, prosimtě, nevíš jak mám správně přičichávat ke kávě, aby mě to namotivovalo na FLP?
Daniel Dušek dvakrát krátce s odstupem 2,4 vteřiny
Martin Pavelka a myslíš že to pomůže?
Neboj najskor sedím na Tebou a budem vidieť všetky Tvoje pocity :P
Daniel Dušek prave si zajebal hodne mocny koment :-D ty nepricichavas aj k niecomu inemu? :-D
Chalani Jake mate pocity pred flp
FLP Existuje prosím nějaká příručka "Funkcionální a logické programování pro začátečníky snadno a rychle"? Nebo co byste doporučili?
zobrat stare zadania z fitusky a ghci/swipl a skusit si to
Napsat projekty
Zobrazit všechny odpovědi (1)
to je dobrý začátek, ale na půlsemce mi hotový haskell stejně moc nepomohl :D ...
Když už se to tady rozebírá, co je potřeba vše umět, haskell a prolog a ... ?
lambda kalkul
A lambda kalkul, ale ten máme umět ze základní školy, jak mi bylo řečeno na prrvní přednášce.
Zobrazit všechny odpovědi (1)
na prvej prednáške si sa ho pýtal 3x na vec čo povedal predtým, zrovna vtedy tvoja otázka bola nepochopená (nielen ním)
Ale je to pravda. Kdo neumí lambda calculus ze zakladky tak se nemusí na zkoušku obtěžovat. :D
Pokud si zkusíš všechny možný příklady co najdeš, tak se po chvíli do toho dostaneš. Já jsem se minulý rok učil z tohohle https://kalabovi.org/pitel:flp:99pl mám pocit že některé příklady tam přímo byly, nebo byly hodně podobné
FLP Matice Děláte automatické testy? Co když nemáte některou část implementovanou?
Tak on ten výpočet proběhne, ale prostě jsem třeba neudělal dolní trojúhelníkovou matici (možná na to ještě přijdu do deadlinu), ale nevím jestli řešit automatické testy "test.sh". Nebo do testovací sady prostě mám nasázet matice různých velikostí.
Nemám větší část implementovanou a to, co nemám implementované budu vždycky vypisovat jako "false." Automatické testy psát nebudu, ale do makefile přidám targety, které se spustí nad vstupy pro které mi to bude hezky procházet.
oki. Prostě tam dát write(false) zatím. A nasázím tam všechny možné matice. Akorát nevím, jak mu ukázat, že fungují i třeba determinanty, inverze atd. To si zkontroluje sám? :D
Tak pokud Ti fungují determinanty a inverze, tak to normálně můžeš vypsat na výstup jako to false, ne?
jj. Ale to on otrocky bude házet do svého programu a cross-kontrolovat s tím mým výstupem? :D
Myslím to takto - scénář: Funguje součet, násobení, inverze; nefunguje zbytek. Pořadí vypsaných hodnot je: součet, násobení, inverze, choleskeho rozklad, determinant, matice. Na výstupu budeš mít: výsledek sčítání výsledek násobení výsledek inverze false false false
Mno o to teď nejde. Zapomeňme na to co mám a nemám, ale třeba když bude chtít zkontrolovat inverzi, tak se musí kouknout, co to vysypalo u něj?
Já věřím tomu, že to bude krmit vlastním vstupem a kontrolovat, jestli ty hodnoty sedí.
Tak jo. :) Dík za feedback. Nasypu tam nějaký testovací matice a může porovnat :D