Mercurial > 13ss.theoinf
view notes/tex/ue10_notes.tex @ 58:aac2480571b8 default tip
rewrite ambiguous slide
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Tue, 30 Jul 2013 14:32:43 +0200 |
parents | 15351d87ce76 |
children |
line wrap: on
line source
\input{preamble.tex} \input{frames.tex} \title{Übung 10: $\mu$Rekursion, Entscheidbarkeit} \subtitle{Theoretische Informatik Sommersemester 2013} \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} \begin{document} \showUnit{titel} \showUnit{loop} \showUnit{prerweitert} \showUnit{prmax} \showUnit{murekursion} \showUnit{berechenbarkeit} \showUnit{entscheidbarkeit} \showUnit{breduktion} \end{document}