\input{preamble.tex}
\input{frames.tex}

\title{Übung 11: Berechenbarkeitstheorie}
\subtitle{Theoretische Informatik Sommersemester 2014}
\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}

\begin{document}
\showUnit{titel}
\showUnit{berechenbarkeit}
\showUnit{berechenbarkeitbeispiel}
\showUnit{entscheidbarkeit}
\showUnit{breduktion}
\showUnit{spezielleshalteproblem}
\showUnit{halteproblem}
\showUnit{aufzaehlbarkeit}
\showUnit{rice}
\end{document}