Vypracované otázky z predmetu Databázové systémy
«»
Popis:
1. Ak asociatívna binárna operácia +(v krúžku) má neutrálny prvok a, s ktorým tvorí monoid potom:
a- môže byť iba argumentom foldr, nie však foldl
b- môže byť iba argumentom foldr, alebo aj foldl
c- môže byť iba argumentom foldr, foldl a map
2. Výraz (foldl (Λ) TRUE) je typu
a- [bool] → bool
b- (bool → bool→ bool) → bool
c- bool
3. Funkcia f je definovaná nasledovne:
f[x] = x
f(x : y : z) = f (y : z)
je svojím významom funkciou:
a- last
b- tail
c- snd
4. Statická typová kontrola:
a- znamená odvodenie typov výrazov počas vykonávania, takže výpočet nezlyhá na hodnotách neprístupných typov.
b- znamená odvodenia každého typu výrazu počas prekladu , takže výpočet nie je vykonávaný na hodnotách neprístupných typov
c- znamená odvodenia každého typu výrazu počas prekladu, takže výpočet zlyhá na hodnotách neprístupných typov
5. Abstraktný typ
a- množinou prekrývaných operácií a abstraktných hodnôt
b- množinou operácii, ktoré musia byť prekrývané
c- množinou operácii, ktoré môžu byť prekrývané
Kľúčové slová:
binárna operácia
statická typová kontrola
funkcia merge
poradie redukcie
sumárny typ
konštruktora
programování
Obsah:
- 1. Ak asociatívna binárna operácia +(v krúžku) má neutrálny prvok a, s ktorým tvorí monoid potom:
2. Výraz (foldl (Λ) TRUE) je typu
3. Funkcia f je definovaná nasledovne:
4. Statická typová kontrola:
5. Abstraktný typ
6. Funkcia height v tvare
7. Pre nestriktnú funkciu f platí:
8. Ak čiastočnú funkciu definujeme
9. Funkcia merge v tvare:
10. Entica je:
11. Funkcia size a hight v tvare:
12. Ak je abstrakčná funkcia bijektívna, potom
13. Pri dôkaze platností vzťahu E1 = E2 štrukturálnou indukciou na algebrickom tvare
14. Výraz lambda v tvare (E1 E2)
15. Nech E1 E2 a E3 sú výrazy. Potom platí vzťah
16. Funkcia rotr v tvare
17. Normálne poradie redukcie je:
18. Ak binárny strom t obsahuje znaky, potom hodnota výrazu
19. Funckia f typu C a → a → a definovaná v typovej triede C
20. Nech f je injektívna, ale nie je bijektívna funkcia, a id je identita. Potom hľadané riešenie, ktorým je inverzná funkcia f -1 k funkcii f , možno nájsť
21. Vzťah
22. V lokálnej definícii v tvare:
23. Je daný typ T v tvare:
24. Funkcia f definovaná nasledovne
25. Sumárny typ
26. Primitívne typy Char a Bool sú:
27. Úlohou konštruktora vo výraze je:
28. Zámena eta:
29. Podľa Church-rosserovej vety I:
30. Pri programovaní fo funkcionálnom jazyku môže byť špecifikácia zároveň implementáciou za predpokladu:
O súboroch cookie na tejto stránke
Súbory cookie používame na funkčné účely, na zhromažďovanie a analýzu informácií o výkone a používaní stránky.