\begin{slide}{Listen}

\verb|List<E>|
repräsentiert Folge von Elementen $[y_0, y_1,\ldots, y_{n-1}]$
des gleichen Typs \verb|E|
\begin{itemize}\itemsep 0pt\parskip 2pt
\item
  Einfügen: \verb|void add (int i, E o)|: 

  aus Liste  $[y_0, y_1,\ldots, y_{i-1},y_i,\ldots,y_{n-1}]$
  wird Liste $[y_0, y_1,\ldots, y_{i-1}, o, y_i,\ldots,y_{n-1}]$.  
\item
  Lesen: \verb|E get (int i)|:

  Liste ist (und bleibt)  $[y_0, y_1,\ldots, y_{n-1}]$,
  Resultat ist $y_i$.
\item Entfernen: \verb|E remove (int i)|:

  aus  Liste $[y_0, y_1,\ldots, y_{i-1}, y_i, y_{i+1},\ldots,y_{n-1}]$
  wird Liste  $[y_0, y_1,\ldots, y_{i-1},y_{i+1},\ldots,y_{n-1}]$,
  Resultat ist $y_i$
\item testen: \verb|size|, \verb|isEmpty| (Deklarationen?)
\end{itemize}
Beachte: bei add und remove ändern sich die Indizes
der Elemente auf bzw. nach $i$.
\end{slide}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "informatik"
%%% End: 
