Mercurial > 13ws.ds

comparison notes/tex/complete_notes.tex @ 34:189900976413

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add complete notes tex file without build
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 02 Dec 2013 23:35:45 +0100
parents
children 0b7b90f84986
comparison
equal deleted inserted replaced
33:f4b50c94431d 34:189900976413
1 \input{preamble.tex}
2 \input{frames.tex}
3
4 \title{Übersichtsfolien zur Übung}
5 \subtitle{Diskrete Strukturen im Wintersemester 2013/2014}
6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}
7
8 \begin{document}
9 \showUnit{titel}
10 %ue01
11 \showUnit{organisatorisches}
12 \showUnit{uebungsablauf}
13 \showUnit{wasistds}
14
15 \showUnit{mengen}
16 \showUnit{mengenoperationen}
17 \showUnit{venn}
18 \showUnit{mengenrechenregeln}
19 \showUnit{potenzmenge}
20 \showUnit{tupel}
21 \showUnit{kreuzprodukt}
22
23 %ue02
24 \showUnit{relationen}
25 \showUnit{relationeneigenschaften}
26 \showUnit{funktionen}
27
28 %ue03
29 \showUnit{aussagenlogiksyntax}
30 \showUnit{aussagenlogiksemantik}
31
32 %ue04
33 \showUnit{aussagenlogikaequivalenzen}
34 \showUnit{aussagenlogiknormalformen}
35 \showUnit{DPLL}
36
37 %ue05
38 \showUnit{resolution}
39 \showUnit{kalkuele}
40 \showUnit{natuerlichesschliessen}
41
42 %ue06
43 \showUnit{praedikatenlogiksyntax}
44 \showUnit{praedikatenlogikstruktur}
45
46 %ue07
47 \showUnit{natuerlichesschliessenquantoren}
48 \showUnit{induktion}
49 \end{document}