zkouška 17.4.

[stnicolaus]

úplně čerstvé zadání dnešní písemky

HASKELL
1) Definujte typ reprezentující orientovaný graf. Vytvořte funkci, která k zadanému grafu vydá buď
- údaj, že graf nejde topologicky uspořádat a jeden z cyklů, který to dokazuje
- nebo údaj, že graf jde topologicky uspořádat a seznam vrcholů určující jedno z topologických uspořádání

2) Definujte typ reprezentující mocninnou řadu. Vytvořte funkce, které počítají
a) součin dvou mocninných řad
b) derivaci mocninné řady
c) K-tou drivaci mocninné řady


PROLOG
3) Sestavte predikáty, které realizují průchody do šířky a do hloubky obecným stromem, který je zadán svojí kanonickou reprezentací pomocí binárního stromu (levý syn - prvorozený syn, pravý syn - mladší bratr).

4) Sestavte predikát, který bude realizovat dělení dvou čísel zadaných jako seznamy cifer jejich dvojkového zápisu.

[dargor]

napište prosim nekdo jak se ma resit 2.A

[lavor]

Kód: Vybrat vše

{- mocninnu radu reprezentujem ako nekonecnu postupnost jej koeficientov -}
type MR = [Float]


nasob a b =
    nas a b []

nas (an:as) b rev =
    [ sum( [ x*y | (x,y) <- zip b (an:rev)] ) ] ++
        (nas as b (an:rev) )

sucet s t=[a+b|(a,b)<-zip s t]

sucets (a:s) (b:t)=((a+b):sucets s t)

derivace (a:s) =der s 1

der (a:s) k=(k*a):der s (k+1)

derivacek s 0=s
derivacek s k=derivacek (derivace s) (k-1)

Kryl mi to v pohode zobral, nemal k tomu vobec ziadne pripomoienky akurat sa spytal ako implementujem zip, na co som mu odpovedal ze ak v kratsom zoznme dojdem na koniec tak pridam do vysledku []

[neoangin]

Tak to jo! Ta zip funkce je preddefinovana, ze jo?

A mel nekdo zvysne priklady? Jestli Vam to Kryl uznal nebo dokonce pochvalil, sem s tim!