Mercurial > 13ss.theoinf
annotate notes/tex/ue10_notes.tex @ 44:15351d87ce76
transition notes
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Thu, 11 Jul 2013 22:06:26 +0200 |
| parents | 27fedbbdab6d |
| children |
| rev | line source |
|---|---|
| 36 | 1 \input{preamble.tex} |
| 44 | 2 \input{frames.tex} |
| 36 | 3 |
| 4 \title{Übung 10: $\mu$Rekursion, Entscheidbarkeit} | |
| 5 \subtitle{Theoretische Informatik Sommersemester 2013} | |
| 6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} | |
| 7 | |
| 8 \begin{document} | |
| 44 | 9 \showUnit{titel} |
| 10 \showUnit{loop} | |
| 11 \showUnit{prerweitert} | |
| 12 \showUnit{prmax} | |
| 13 \showUnit{murekursion} | |
| 14 \showUnit{berechenbarkeit} | |
| 15 \showUnit{entscheidbarkeit} | |
| 16 \showUnit{breduktion} | |
| 36 | 17 \end{document} |