- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Funkc_prgr_pisemka%20_15_6_00
IA014 - Funkcionální programování
Zjednodušená ukázka:
Stáhnout celý tento materiál; [(Nat ! Nat) ! Nat ! Nat=]
Odpov¥¤:
3
V Haskellu máme denovanou funkci
from :: Int ! [Int]
from n = n : from (succ n)
Tuto funkci lze pomocí kombinátoru pevného bodu Y vyjád°it
(A) from = Y(fn: f(n : succ n)) (B) from = Y(fn: f n : f(succ n))
(C) from = Y(fn: n : f succ) (D) from = Y(fn: n : f succ) n
(E) from = Y(fn: n : (f succ) n)
Odpov¥¤:
D1.001
4
Máme term
xyz:f y (t:t g x)(u:u (g y))
vn¥mºf, g jsou konstanty. Tento term p°evedeme do superkombinátorového termu tak, ºe krom¥ nových
superkombinátor· dovolíme pouºít i kombinátory S a K. P°i p°evodu smíme provád¥t libovolné ekvivalentní
úpravy. Nejmen²í po£et nových superkombinátor·, které musíme zavést, je
(A) 1 (B) 2 (C) 4 (D) 3 (E) 0
Odpov¥¤:
5
M¥jme term xy:F(Gxx)(F y) skonstantami F, G. V n¥m maximální volný term abstrakce y je
(A) F (G xx) (B) F (G xx) F (C) F (D) G xx (E) G xx(F y)
Odpov¥¤:
6
Kombinátor , který je de
Vloženo: 25.04.2009
Velikost: 90,60 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2023 unium.cz. Abychom mohli web rozvíjet a dále vylepšovat podle preferencí uživatelů, shromažďujeme statistiky o návštěvnosti, a to pomocí Google Analytics a Netmonitor. Tyto systémy pro unium.cz zaznamenávají, které stránky uživatel na webové stránce navštívil, odkud se na stránku dostal, kam z ní odešel, jaké používá zařízení, operační systém či prohlížeč, či jaký má preferenční jazyk. Statistiky jsou anonymní, takže unium.cz nezná identitu návštěvníka a spravuje cookies tak, že neumožňuje identifikovat konkrétní osoby. Používáním webu vyjadřujete souhlas použitím cookies a následujících služeb: