Hľadaj
Zobraz:
Univerzity
Kategórie
Rozšírené vyhľadávanie
45 118
projektov
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 568 x |
Autor: theparadox |
Zdieľaj na Facebooku |
||
| Detaily projektu | ||
- cena:
6 Kreditov - kvalita:
78,7% -
Stiahni
- Pridaj na porovnanie
- Univerzita:Technická univerzita v Košiciach
- Fakulta:Strojnícka fakulta
- Kategória:Technika » Programovanie
- Predmet:Databázové systémy
- Študijný program:-
- Ročník:-
- Formát:MS Office Word (.doc)
- Rozsah A4:4 strán
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é
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:
Pridaj projekt
Pridaj projekt a získaj kredity za stiahnutie. S kreditmi možeš sťahovať iné projekty. Je to jednoduché :)
Najčastejšie
Zobraz
Odporúčame
Zadania-seminarky.sk
2006 - 2024 © všetky práva vyhradené