Mercurial > 13ss.theoinf
comparison notes/tex/complete_notes.tex @ 55:b815b94ae158
ue13 notes
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Mon, 22 Jul 2013 23:56:37 +0200 |
| parents | a2d28c18251a |
| children |
comparison
equal
deleted
inserted
replaced
| 54:25f8a7e1c9bf | 55:b815b94ae158 |
|---|---|
| 74 \showUnit{prmax} | 74 \showUnit{prmax} |
| 75 \showUnit{murekursion} | 75 \showUnit{murekursion} |
| 76 \showUnit{tmif} | 76 \showUnit{tmif} |
| 77 \showUnit{while} | 77 \showUnit{while} |
| 78 \showUnit{goto} | 78 \showUnit{goto} |
| 79 \showUnit{typ0sprachen} | |
| 80 \showUnit{spracheigenschaften} | |
| 81 \showUnit{formalesprachen} | |
| 79 \showUnit{berechenbarkeit} | 82 \showUnit{berechenbarkeit} |
| 80 \showUnit{entscheidbarkeit} | 83 \showUnit{entscheidbarkeit} |
| 81 \showUnit{breduktion} | 84 \showUnit{breduktion} |
| 82 | 85 |
| 83 % ue11 | 86 % ue11 |
| 95 \showUnit{verifikator} | 98 \showUnit{verifikator} |
| 96 \showUnit{preduktion} | 99 \showUnit{preduktion} |
| 97 \showUnit{npvollstaendigkeit} | 100 \showUnit{npvollstaendigkeit} |
| 98 \showUnit{sat} | 101 \showUnit{sat} |
| 99 \showUnit{3col} | 102 \showUnit{3col} |
| 103 | |
| 104 % ue13 | |
| 105 \showUnit{klausur} | |
| 100 \end{document} | 106 \end{document} |