Mercurial > 13ws.ds

comparison 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
comparison
equal deleted inserted replaced
38:6aea8fe66bd6 39:0b7b90f84986
44 \showUnit{praedikatenlogikstruktur} 44 \showUnit{praedikatenlogikstruktur}
45 45
46 %ue07 46 %ue07
47 \showUnit{natuerlichesschliessenquantoren} 47 \showUnit{natuerlichesschliessenquantoren}
48 \showUnit{induktion} 48 \showUnit{induktion}
49
50 %ue08
51 \showUnit{wohlfundierteinduktion}
52 \showUnit{landausymbole}
53
54 %ue09
55 \showUnit{zaehlen}
56 \showUnit{doppeltesabzaehlen}
57 \showUnit{schubfachprinzip}
49 \end{document} 58 \end{document}