\begin{slide}{Beispiel: Binäre Addition}

  \begin{itemize}\itemsep 2pt \parskip 2pt
  \item 
genauer: Bestimmung des ausgehenden Übertrags
bei der Addition von zwei (gleich-)langen Binärzahlen
\item
allgemeines Prinzip, um eine assoziative
Verknüpfung zu erhalten:
Funktionskomposition ist assoziativ
\item
im speziellen Fall betrachte
\begin{verbatim}
[(Bool,Bool)] -> ( Bool -> Bool )
\end{verbatim}
d. h. jedem Teilsegment wird eine Funktion
von Übertrag (eingehend) nach Übertrag (ausgehend)
zugeordnet.
\item
Diese Fkt. lassen sich explizit repräsentieren
(als lineare Fkt. im Halbring \verb|(Bool,xor,and)|)
\item
$\Rightarrow$ Ladner-Fischer-Addierschaltkreis.
  \end{itemize}

\end{slide}
