\begin{slide}{Paradigmen}

  \begin{itemize}
  \item imperativ

    Programm ist Folge von Befehlen ($=$ Zuständsänderungen)
  \item deklarativ (Programm ist Spezifikation)
    \begin{itemize}
    \item funktional (Gleichungssystem)
    \item logisch (logische Formel über Termen)
    \item Constraint (log. F. über anderen Bereichen)
    \end{itemize}

  \item objektorientiert (klassen- oder prototyp-basiert)

  \item nebenläufig (nichtdeterministisch, explizite Prozesse)

  \item (hoch) parallel (deterministisch, implizit)

  \end{itemize}


\end{slide}
