\begin{slide}{Motivation}

  \begin{itemize}
  \item 
Lambda-Kalkül
zur Modellierung von Abstraktion und Applikation, 

wesentliches Merkmal: 
benutzerdefinierte Funktionen mit gebundene Variablen.

\item
\emph{Kombinatorische Logik}
ist ein Berechnungsmodell 
mit einer kleinen, fixierte Menge 
von (globalen) Funktionen, 

diese heißen
\emph{Kombinatoren}.
  \end{itemize}

Beispiele: $S = \lambda x y z.x z(y z), K = \lambda x y.x$

\end{slide}
