Zuweisung und Variablen
a := 23;
text_1:="Hello World";
Variablen müssen mit einem Kleinbuchstaben beginnen!!!
Arithmetische Operationen
| + | Addition |
| - | Subtraktion |
| * | Multiplikation |
| ** | Potenz |
| / | Division |
| \ | ganzzahlige Division |
| % | Modulus |
Vergleichsoperationen
| == | Gleich |
| != | Ungleich |
| > | Größer |
| >= | Größer oder gleich |
| < | Kleiner |
| <= | Kleiner oder gleich |
Aussagenlogische Operationen
| && | Konjunktion (logisches Und) |
| || | Disjunktion (logisches Oder) |
| ! | Negation (logisches Nicht) |
| => | Implikation |
| <==> | Äquivalenz |
Mengen und Mengenoperationen
Eine Menge in SetlX definiert durch Aufzählung
{1, 2, 3};
oder durch Set comprehension:
{ 2 * a : a in {1..10}};
{a*b: a in{1..3},b in{1..3} };
{ 2 * a : a in {1..10} | a%2 == 0};
| in | Element von |
| .. | Aufzählung |
| + | Vereinigung |
| * | Schnittmenge |
| - | Differenz |
| # | Kardinalität (Anzahl der Elemente) |
| == | Gleich |
| != | Ungleich |
| <= | Teilmenge (auch >=) |
| < | echte Teilmenge (auch >) |
| >< | kartesisches Produkt |
| ** 2 | kartesisches Produkt mit sich selbst |
| 2 ** | Potenzmenge |
Listen
a := [ 2 * a : a in [1..10]];
| a[3]; | drittes Element |
| first(a); | erstes Element |
| last(a); | letztes Element |
Quantoren
forall (x in {1..10} |x%1 == 0);
exists (x in {1..10} |x%2 == 0);
Funktionen
addiere1 := procedure(s) {
return { a + 1 : a in s };
};
Andere Befehle
| load("dateipfad"); | Dateien laden |
| print("hello world"); | Ausgabe |
| print("Wert $a$"); | Ausgabe mit Auswertung der Variablen |
| multiLineMode(true); | Mehrzeilenmodus (auch mit -m starten) |