\begin{slide}{B�ume, Terme}

\begin{itemize}
\item
  \emph{Graphentheorie}: Baum ist kreisfreier zusammenh�ngender Graph

  (d. h. ungerichtet, ungeordnet)
\item
  \emph{Algebra}: ein \emph{Term} ist ein Baum mit
  \begin{itemize}
  \item markierten Knoten (Funktionssymbole)
  \item gerichteten Kanten (von der Wurzel weg)
  \item geordneten Kindern (nicht Menge, sondern Liste)
  \end{itemize}
\end{itemize}

Wenn $f$ ein Symbol und $k \ge 0$ und $t_1, \ldots, t_k$ Terme,
dann ist auch $f(t_1,\ldots, t_k)$ ein Term.
\end{slide}
