1.3.1 Einführung
Was genau sind Terme?
Terme kann man auf zwei Arten interpretieren:
Terme kann man auf zwei Arten interpretieren:
- Als funktionale Ausdrücke: Wenn man für die im Term auftretenden Variablen konkrete Zahlen einsetzt, so ergibt der Term einen Zahlenwert.
Beispielsweise ist ein Term; sobald man einsetzt erhält man den Wert . Auch ist ein Term, dieser Term
kann zu umgeformt werden und ergibt daher den gleichen Wert, wenn man einsetzt. Als symbolischer Ausdruck an sich ist verschieden von
, als funktionaler Ausdruck sind beide aber gleich: Egal welchen Wert man für einsetzt, beide Terme ergeben immer das gleiche Endergebnis.
Ein Term kann auch an sich einen Wert darstellen, wenn keine Variablen auftreten. Beispielsweise ist ein Term mit Wert
.
- Als Auswertungsvorschrift: Ein Term kann als eine Art Anleitung interpretiert werden, wie man aus gegebenen Werten (in den Variablen)
einen neuen Wert berechnet. Beispielsweise kann man den Term lesen als „Quadriere den Wert in und ziehe Eins ab“.
Er ist verschieden von dem Term , auch wenn gleiche Werte herauskommen. Der zweite Term beschreibt die Auswertung als
„Addiere Eins zu und multipliziere mit dem Wert, der entsteht, wenn man von Eins abzieht“.
Beide Terme sind mathematisch gleich. Man schreibt , stellt aber zwei verschiedene Möglichkeiten dar,
den Wert auszurechnen. Je nach Problemstellung kann einer der beiden Terme besser geeignet sein, um das Problem zu lösen.