\begin{slide}{Motivation}

  \begin{itemize}\itemsep 3pt
  \item 
inferieren $=$ ableiten
\item
Inferenzsystem $I$, Objekt $O$,

Eigenschaft $I\vdash O$ 
(in $I$ gibt es eine Ableitung für $O$)
\item
damit ist $I$ eine \emph{Spezifikation} einer
Menge von Objekten
\item
man ignoriert die \emph{Implementierung} 
($=$ das Finden von Ableitungen)
\item Anwendungen im Compilerbau:

  Auswertung von Programmen, 
  Typisierung von Programmen

  \end{itemize}


\end{slide}
