02 - Vorlesung

Question 1

Summe

Answer 1

sum_name = sum(name in Bereich/Menge) (Term);

Question 2

Bereich (Range)

Answer 2

range [float] name [= lb..ub];

Question 3

Menge (Set)

Answer 3

{Typ} name [= {Werte durch Kommata getrennt}];

setof(Typ) name [= {Werte durch Kommata getrennt}];

Beispiel möglich:

{int} ungerade = {i | i in 0..100 : i mod 2 == 1};

Question 4

Menge (Set)

(Umgekehrt) Sortiert

Operationen

Funktionen

Answer 4

sorted {Typ} name [= {Werte durch Kommata getrennt}];

reversed {Typ} name [= {Werte durch Kommata getrennt}];

• Vereinigung: Menge1 union Menge2
• Schnitt: Menge1 inter Menge2
• Differenz: Menge1 diff Menge2
• Symmetrische Differenz: Menge1 symdiff Menge2
• first(S), last(S): Erstes und letztes Element
• item(S,k): Element an Position k in der Menge
• ord(S,s): Position des Elements s in der Menge

Question 5

Mehrdimensional (Array)

Answer 5

Typ name[range1/set1] [[range2/set2] [range3/set3] .. ];

Beispiele:

int Kapazitaet[1..2][1..3] = [[5,7,6], [9,3,4] ];

int v[i in 1..10][j in 1..10] = i-j;

int u[1..10] = [i : (i-1) mod 5 | i in 1..10];