Term-Umformungen

Formel = Term,

Operation (Differenzieren, Vereinfachen) = Termumformung, gegeben durch Regelsystem.

Regel ist Paar von Termen mit Variablen: (f (x), g(x, x)),

Regelanwendung: wenn linke Seite paßt, dann ersetze durch entsprechende rechte Seite.

Beispiel: D(sin(x), x)$\to$cos(x).

eigentlich: D(x, x)$\to$1, D(sin(t), x)$\to$cos(t)*D(t, x).