Mercurial > 14ss.theoinf

diff notes/tex/complete_notes.tex @ 32:24d446e2f94c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
eleventh sheet and notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Fri, 04 Jul 2014 21:18:30 +0200
parents 777563904120
children 80680bf7a9e9
line wrap: on
line diff
--- a/notes/tex/complete_notes.tex	Sun Jun 29 16:58:20 2014 +0200
+++ b/notes/tex/complete_notes.tex	Fri Jul 04 21:18:30 2014 +0200
@@ -80,6 +80,14 @@
 \showUnit{prerweitert}
 \showUnit{prprogramme}
 \showUnit{loop}
+
+%ue11
 \showUnit{berechenbarkeit}
 \showUnit{berechenbarkeitbeispiel}
+\showUnit{entscheidbarkeit}
+\showUnit{breduktion}
+\showUnit{spezielleshalteproblem}
+\showUnit{halteproblem}
+\showUnit{aufzaehlbarkeit}
+\showUnit{rice}
 \end{document}