\begin{slide}{Lambda-Kalkül und Computeralgebra}

\begin{itemize}
\item
  Kalkül beschreibt Rechnen mit Ausdrücken
  mit gebundenen Variablen, diese kommen in CAS vor.
\item
  die Erkenntisse aus dem Kalkül  werden in verschiedenen CAS
  mit verschiedener Konsquenz angewendet (leider).
\item
  Probleme beginnen damit, daß Variablenbindungen
  schon gar nicht korrekt notiert werden
\item
  \dots das ist nur ein getreues Abbild 
  entsprechender Probleme in der Mathematik 
  (solche Fehler heißen dort aber Konventionen)
\end{itemize}


\end{slide}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "~/edu/ws06/sym/folien/sym"
%%% End: 
