\begin{slide}{Zählschleifen}

\begin{verbatim}
für ( Zahl i von a bis b ) { ... }
\end{verbatim}
  
ist äquivalent zu

\begin{verbatim}
Zahl i = a;
while (i <= b) { ... ; i := i + 1; }
\end{verbatim}

Beispiel:
\begin{verbatim}
Zahl s = 0;
für ( Zahl i von 1 bis 5 ) { s := i - s; } 
Ausgabe (s);
\end{verbatim}

\end{slide}


\begin{slide}{Zählschleifen und Invarianten}

\begin{verbatim}
Eingabe: Feld von Zahlen x[0 .. n-1]

Zahl s := 0;

// Invariante: s = x[0] + .. + x[i-1]
für ( Zahl i von 0 bis n-1 ) {
    s := s + x[i];
}

Ausgabe s;

\end{verbatim}
  

\end{slide}
