Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
19 Cards in this Set
- Front
- Back
Data bär _____ genom att _____ något |
Data bär information genom att representera något |
|
Datatyp = ______ + ______ |
Datatyp = objekt + operationer |
|
Sammansatt datatyp består av _____ (objekt organiserade på ett speciellt sätt) och kan vara _____ (samma datatyp) eller _____ (ej samma datatyp) |
Objekten består av element och kan vara homogen eller heterogen
ex: Lista av heltal |
|
Enkel datatyp |
Ej sammansatt ex: Heltal |
|
Fysisk datatyp |
Avser en datatyp som finns tillgänglig i en given maskinvara eller ett givet programspråk |
|
Abstrakt datatyp |
När vi på något sätt använder en datatyp utan att bry oss om hur eller om den är realiserad i programspråk eller hårdvara (koncentrerar sig på vad den gör och vilka resultat den ger) |
|
Konstruerad datatyp |
När såväl representationen av objekten som utförandet av operationerna beskrivs |
|
Implementerad datatyp |
Komplettkonstruerad från grunden, utgörs av fysiska datatyper och är klar att användasi ett program. |
|
Konkret datatyp |
Samladbeteckning på fysiska, implementerade och konstruerade datatyper. |
|
Axiomatisering |
att välja en uppsättning ut vilka allamatematiskt giltiga påståenden (om den berörda datatypen) kan härledas och inga andra. |
|
Tidskomplexitet |
Storleksordningen av tidsåtgången i termer av uppgiftens storlek. |
|
Rumskomplexitet |
Storleksordningen av minnesbehovet i termer av uppgiftens storlek. |
|
element |
Objekt tillhörandes en eller flera datatyper, organiserade på ett speciellt sätt.
ex:”Lista av heltal” " |
|
homogen datatyp |
Alla element hör till samma datatyp |
|
heterogen datatyp |
Elementen hör inte till samma datatyp |
|
En konstruktion av A i (som) B |
En konstruktion av A med ”byggmaterial” av typen B på ett sådant sätt att A-objekten utgörs av B-objekt och A-operationerna utförs med algoritmer formulerade i termer av B-funktioner. |
|
Att konkretisera en datatyp är att... |
att ta ett eller flera steg i datatypens konstruktion eller implementation. |
|
Att en axiomatisering är complete innebär |
alla matematiskt giltiga påståenden (om den berörda datatypen) kan härledas ur axiomen |
|
Att en axiomatisering är sund innebär |
inga icke-matematiskt giltiga påståenden (om den berörda datatypen) kan härledas ur axiomen |