zkouška 17.4.

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

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.

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

{- 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 []

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! :D