Mercurial > 13ws.ds

diff notes/tex/complete_notes.tex @ 39:0b7b90f84986

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
nineth sheet and notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 16 Dec 2013 22:35:38 +0100
parents 189900976413
children 5734c1faf9cd
line wrap: on
line diff
--- a/notes/tex/complete_notes.tex	Tue Dec 10 11:59:09 2013 +0100
+++ b/notes/tex/complete_notes.tex	Mon Dec 16 22:35:38 2013 +0100
@@ -46,4 +46,13 @@
 %ue07
 \showUnit{natuerlichesschliessenquantoren}
 \showUnit{induktion}
+
+%ue08
+\showUnit{wohlfundierteinduktion}
+\showUnit{landausymbole}
+
+%ue09
+\showUnit{zaehlen}
+\showUnit{doppeltesabzaehlen}
+\showUnit{schubfachprinzip}
 \end{document}