<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Ein- und mehrstellige Funktionen}

eine einstellige Funktion zweiter Ordnung:
\begin{verbatim}
f = \ x -&gt; ( \ y -&gt; ( x*x + y*y ) )
\end{verbatim}

Anwendung dieser Funktion:
\begin{verbatim}
(f 3) 4 = ...
\end{verbatim}

Kurzschreibweisen (Klammern weglassen):
\begin{verbatim}
f = \ x y -&gt; x * x + y * y ; f 3 4
\end{verbatim}  

\bigskip

Ãœbung: 

gegeben \verb|t = \ f x -&gt; f (f x)|

bestimme \verb|t succ 0, t t succ 0,|
\verb|t t t succ 0, t t t t succ 0, ...|

\end{slide}
</pre></body></html>