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};
inElement von
..Aufzählung
+Vereinigung
*Schnittmenge
-Differenz
#Kardinalität (Anzahl der Elemente)
==Gleich
!=Ungleich
<=Teilmenge (auch >=)
<echte Teilmenge (auch >)
><kartesisches Produkt
** 2kartesisches 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)