Читать книгу Algorithmen und Datenstrukturen - Gunter Saake - Страница 67

In Erweiterung des Beispiels 3.1 führen wir einige Aufrufe und die resultierenden Ergebnisse auf:

1 f(p, q, x, y) =if p ∨ q then 2x + 1 else 3y − 1 fiDie resultierende Funktion hat die folgende Signatur:f : bool × bool × int × int → intDer Aufruf f (true, true, 3, 4) wird zu 7 ausgewertet.

2 g(x) =if even(x) then x ÷ 2 else 3x − 1 fiDie resultierende Funktion hat die folgende Signatur:g : int → intDie Ergebnisse zweier Aufrufe lauten:g(2) = 1, g(3) = 8Beim ersten Aufruf g (2) wurde dabei folgender Term ausgewertet:if even(2) then 2 ÷ 2 else 3 · 2 − 1 fi

3 h(p, q) =if p then q else false fi definiert eine boolesche Funktion mit zwei Parametern:h: bool × bool → boolDie Beispielauswertung h(false, false) = false gibt uns einen Hinweis auf die Semantik der neu definierten Funktion: h(p, q) = p ∧ q, unser Beispiel realisiert das logische Und nur mithilfe der Implikation und der Konstanten false.