Hľadaj Zobraz: Univerzity Kategórie Rozšírené vyhľadávanie

45 077   projektov
0 nových

Vypracované otázky z predmetu Databázové systémy

«»
Prípona
.doc
Typ
testy
Stiahnuté
28 x
Veľkosť
0,1 MB
Jazyk
slovenský
ID projektu
2585
Posledná úprava
24.02.2017
Zobrazené
2 543 x
Autor:
theparadox
Facebook icon Zdieľaj na Facebooku
Detaily projektu
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.

Nastavenia Povoliť všetko