\begin{slide}{Signaturen, Algebren}
  \begin{itemize}
  \item 
\emph{Signatur}: Menge von Funktionssymbolen, 
jedes mit Stelligkeit (Argumentzahl).

Bsp: $\Sigma=\{a_0,b_0,f_2,g_2\}$.
\item
\emph{$\Sigma$-Algebra}: Trägermenge $D$
und zu jedem $k$-stelligen Symbol $f$
eine $k$-stellige Funktion $[f]: D^k\to D$.

Bsp: $D=\NN, [a]=0, [b]=1, [f](x,y)=x+y, [g](x,y)=xy$.

Bsp: $D=\{F,T\}, [a]=F, [b]=T, [f]=\vee, [g]=\wedge$.
  \end{itemize}

\end{slide}




