
\begin{slide}{Algorithmen-Entwurf}

\begin{verbatim}
Eingabe  : natürliche Zahlen a, b
(gewünschtes) Ergebnis: a * b

Zahl c := a; Zahl d := b; Zahl e := ???;
-- Invariante:  c * d + e = a * b
solange (c > 0) wiederhole {
   wenn (c ist ungerade) dann {
       ???
   }
   c := abrunden (c / 2); 
   ??? 
}
Ergebnis ist in  ???
\end{verbatim}


\end{slide}

