\begin{slide}{Term-Gleichungen}

funktionales Programm $=$ Gleichungssystem
  \begin{itemize}
  \item Grundbereich ist Menge der Terme (Bäume)
  \item Gleichungen sind die Funktionsdefinitionen
  \end{itemize}
  
Beweis von Programm-Eigenschaften durch 
\begin{itemize}
\item \emph{equational reasoning}

  (äquivalentes Umformen, Ersetzen von Teiltermen
  durch gleichwertige)
\item Induktion (nach dem Termaufbau)
\end{itemize}

\end{slide}
