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

Sind v₁, …, v_n Unbestimmte vom Typ τ₁, …, τ_n (bool oder int) und ist t(v₁, …, v_n) ein Term, so heißt

f(v₁, …, v_n) = t(v₁, …, v_n)

eine Funktionsdefinition der Funktion f vom Typ τ. τ ist dabei der Typ des Terms t(v₁, …, v_n).

Wir werden die folgende Sprechweise verwenden: f heißt Funktionsname, die v₁, …, v_n heißen formale Parameter und der Term t(v₁, …, v_n) heißt Funktionsausdruck.