FaLP a.k.a Funkcionalne a Logicke Programovanie

[carin]

Ahoj pUf... 
...keby som aspon tusila, ze kto si 

[Ing. nemtom]

heh odzdravi sa len pufovi, pekne, to asi netusi ze som z jej skupiny

[fanfo]

ja som na cvikach FaLP bol stale na pokeci, cviciaci (Slodicak) mi dal minimalny zapich (20b) bo ze nemoze mi dat viac lebo nemam na to vedomost (mal aj pravdu) a na skuske som chytil 65/70b a mal som tahak len na definicie funkcii, takze som chytil B, na skuske pan Kollar nepozeral ze kto ma aky zapich - proste pozeral na to tak ze kazdy ma full.
to je ten spravny pristup - ja mu tlieskam a sebe tiez

[joker]

... tak on to hodnotil asi tak, ze tvoje vedomosti, ktore vies na konci..... mno keby to skusal ustne, tak si mozme piskat... ale inac dopohody...

[psicho]

lebo puf je kanec , jeho chce kazda zena ,tak samu zdravia

[Ing. nemtom]

lebo puf je kanec , jeho chce kazda zena ,tak samu zdravia

jj, aj ja si myslim

[carin]

Ahoj nemtom... viem ze kto si 
Pamatam ze si z mojej skupiny 
Takze zdravim sa aj tebe  AHOOOOOOOOJ

[fanfo]

... tak on to hodnotil asi tak, ze tvoje vedomosti, ktore vies na konci..... mno keby to skusal ustne, tak si mozme piskat... ale inac dopohody...

ale taky pristup sa mi paci, potom to vyzera ako skola hrou a ja take veci rad 

[psicho]

more nemtom nebude spat aspon 3 dni

[sogi]

somnou minule karin sedela v elektricke...urcite mi vsetci zavideli
mozem vam povedat ze karin je nielen pekna, ale aj inteligentna a mila (a ked jej toto poviete tak sa pekne cervena )

[DeeL]

som mal este davnejsie (teda minuly piatok) niekde uvadzam aj riesenia ked ma kopne muza a radsej typove definicie robte vsade, neviem kde to bolo priamo v zadani napisane aby sa robili, ale robte vsade  ... mozno ze nie vsetko bude uplne presne, ale priblizne ako som si zapamatal 

1. definujte rekurentne funkciu reverse

Code [Select] Expand

reverse :: [a] -> [a]
reverse (x:xs) = reverse xs ++ [a]

2. definujte rekurentne funkciu (+-+) co bude vykonavat naslednu cinnost:
[a₁,a₂,...a_n]+-+[b₁,b₂,...b_m] = [a₁,a₂,...a_n,b₁,b₂,...b_m]

Code [Select] Expand

(+-+) :: [a] -> [a] -> [a]
[] +-+ ys = ys
(x:xs) +-+ ys = x : (xs +-+ ys)

3. definujte nerekurentne funkciu rv[a₁,a₂,...a_n] = [a_n,...a₂,a₁] pomocou funkcie foldr a lokalne definovanou funkciou op
(je to vlastne funkcia reverse ale tu odporucam davat pozor, lebo to co sa nachadza v prelude.hs je definovane cez foldl... pomocka> nemozete pouzit operator ":" )

Code [Select] Expand

rv :: [a] -> [a]
rv [] = []
rv (x:xs) = foldr op [] (x:xs)
    where
       op a b = b ++ [a]

4. definujte nerekurzivne funkciu foldl1 pomocou funkcie foldl

Code [Select] Expand

foldl1 :: (a -> a -> a) -> [a] -> a
foldl1 f (x:xs) = foldl f x xs

5. definujte funkciu f ak plati:
   g = map f
pricom g ma na vstupe zoznam napriklad ["Ahoj","Pes",Bratislava"] a vrati vam ho ako [(4,"Ahoj"),(3,"Pes"),(10,"Bratislava")] ... cize vypocita pocet prvkov a da to do dvojic... zaroven treba urcit este aj vseobecnu typovu definiciu funkcie g

Code [Select] Expand

g :: [[a]] -> [(Int,[a])]
f :: [a] -> (Int,[a])
f xs = (length xs, xs)

6. vytvorte funkciu (dajme tomu, ze) strom ktora vrati binarny strom rovnakej dlzky na vsetkych vetvach ak na vstupe je zoznam cisel ktorych pocet je n^2... pricom strom bude tvaru nejak Btree a = Bin (Tip a) (Tip a) ... (tam to bolo dlhsie zadanie este)

Code [Select] Expand

data Btree a = Tip a | Bin (Btree a) (Btree a)
strom :: [a] -> Btree
strom [a] = Tip a
strom xs = Bin (strom us) (strom ps)
      where
          us = take len xs
          ps = drop len xs
          len = (length xs) 'div' 2

to je vsetko ... nerucim vsak uplne za nic

este aj nechapem, ze som tu napisal vsetky riesenia ... snad by to mohlo byt aj dobre, ked tak ma opravte

inac druha skupina mala nieco na styl rekurzivne a nerekurzivne map... potom sa mi vidi, ze definovat foldl (alebo foldr) a potom aj nieco so stromami aj s binarnym vyhladavacim, ale nemam sajnu co

[mrtvyhubar]

No konecne pekne rozpisane otazky

Nevie niekto ako sa algebraicky definuje Strom/vyhladavaci strom?bo vraj aj take daco bolo a ja to v skriptach nejak neviem najst

[Ing. nemtom]

no to sa mi uz paci

[joker]

Deel - este k tomu stromu ti chyba vypis stromu ... cez toto show s totymi zatvorkami... bo ta funkcia ti ten strom len urobi...

[psicho]

lol more jak ste vseci hotovyz jednej zenskej........dajte si radsej piko

[domcak]

lol more jak ste vseci hotovyz jednej zenskej........dajte si radsej piko

..to mas tak, ked jedna baba medzi tolkimi chlapmi...

[carin]

dakujem sogi, si zlaty... bolo mi potesenim sediet vedla teba  a dufam, ze sa stretneme.... cez pondelky ked uz nie inokedy, uz sa tesiiiiiim   

[carin]

Co povedal dnes pan Kollar?! FaLP berie ako zaujimovy predmet a aj tak hodnoti, ale ked nebudeme ovladat Programovacie techniky, je schopny vyhodit cely rocnik....   

[psicho]

nojo ale programovacie techniky su cool aspon co sa tyka zadani , viem si predstavit tu odveci teoriu


btw: ak nekto chce zadanie z programovacich technik tak velmi rad mu pomozem za financnu odmenu

[DeeL]

Deel - este k tomu stromu ti chyba vypis stromu ... cez toto show s totymi zatvorkami... bo ta funkcia ti ten strom len urobi...

presne tak... a to bola podstata zadania ... druha skupina mala prave strom zobrazovat, tato uloha bola len o vytvoreni stromu a nie jeho vypisani...

inac neviem, ale vyzera, ze budem mat este znenie druhej skupiny... aj ked uz asi kopec ludi ma tuto paradnu skusku ...

dnes to bolo uplne sila, ked som vonku na chodbe videl ako Kollar si odisiel do kancelarie na 15minut pocas skusky a vsetkych tam nechal ... a este az takmer zaklopal ked sa vracal

[BCAA]

Co povedal dnes pan Kollar?! FaLP berie ako zaujimovy predmet a aj tak hodnoti, ale ked nebudeme ovladat Programovacie techniky, je schopny vyhodit cely rocnik....

a nemame programovacie techniky nahodou s Hudakom??

[mrtvyhubar]

BCAA: to je jedno,oni su jedna banda a drzia za jeden povraz upleteny z Fxiek.Ale ja mne sa zda ze Hudaka by sme mali mat.

[BCAA]

no podla mna sa nas Hudak len tak nevzdaaa

[DeeL]

nevzda ... o Kollarovi som pocul, ze on uci daco ine na com si dava zalezat... neviem si nazov teraz spomenut

[carin]

na tejto skole uz by ma nic neprekvapilo