| Home | Neu |
| Befehl | Erklärung |
|---|---|
expand(t)
| Expandiert den Ausdruck t. Z. B. ausmultiplizieren.
|
simp(t)
| Vereinfacht den Ausdruck t. Dieser Befehl
wird normalerweise automatisch aufgerufen.
|
subs(v=a,t)
| Substituiert im Ausdruck t die Variable
v gegen den Wert a.
|
subs(t,v=a)
| Substitution, alternative Schreibweise. |
hold(t)
| Verhindert die Auswertung von Befehlen. |
eval(t)
| Auswertung restlicher Befehle unter hold.
|
plain(t)
| Gibt den Ausdruck als plain text aus, der wieder als Eingabe verwendet werden kann. |
| Funktion | Erklärung |
|---|---|
sum(k=a,b,f(k))
| Summe von k=a bis b über die f(k).
|
diff(t,v)
| Die Ableitung von t nach der Variable v.
|
diff(t,v,n)
| Die n-te Ableitung von t nach der
Variable v.
|
taylor(f(x),x,a,n)
| Die n-te Partialsumme der Taylorreihe von f
an der Stelle a.
|
| Konstante | Erklärung |
|---|---|
0
| Logisch falsch. |
1
| Logisch wahr. |
| Funktion | Erklärung |
|---|---|
not A
| Logische Negation. |
A and B
| Logische Konjunktion. |
A or B
| Logische Disjunktion. |
A=>B
| Logische Implikation. |
A<=>B
| Logische Äquivalenz. |
taut(t)
| Wahr wenn die aussagenlogische Formel t tautologisch ist.
|
sat(t)
| Wahr wenn die aussagenlogische Formel t erfüllbar ist.
|