% \newcommand{\Term}{\operatorname{Term}}

\begin{slide}{Terme}

  \begin{itemize} \itemsep 2pt
  \item Signatur $\Sigma$: 

    Menge von Funktionssymbolen mit Stelligkeiten
  \item 
    $t\in\Term(\Sigma)$: geordneter gerichteter Baum 
    mit zu $\Sigma$ passender Knotenbeschriftung
  \item $\Sigma$-Algebra:
    \begin{itemize}
    \item     Trägermenge $D$
    \item zu jedem $k$-stelligen Symbol $f\in \Sigma$ \\
      eine Funktion $[f]: D^k \to D$.
    \end{itemize}
    damit wird jedem $t\in \Term(\Sigma)$
    ein Wert $[t]\in D$ zugeordnet
  \item
    $\Term(\Sigma)$ ist selbst eine $\Sigma$-Algebra
  \end{itemize}

\end{slide}
