\begin{slide}{Themen}

  \begin{itemize}\itemsep 1pt \parskip 1pt
  \item Methoden zur Beschreibung der
    \begin{itemize}
    \item Syntax: reguläre Ausdrücke, kontextfreie Grammatiken
    \item Semantik: operational, denotational, axiomatisch
    \end{itemize}
  \item Konzepte: 
    \begin{itemize}
    \item Typen,  
\item Ausdrücke und Anweisungen (Wert und Wirkung), 
\item Unterprogramme (als Daten)
\item Polymorphie (statisch, dynamisch)
    \end{itemize}
  \item Wechselwirkungen der Konzepte
  \item Paradigmen: 

imperativ, funktional, objektorientert
  \end{itemize}

\end{slide}
