Mercurial > 13ws.ds
annotate notes/tex/complete_notes.tex @ 53:a9b64faf4b8f
fourteenth sheet and notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Sat, 01 Feb 2014 19:22:52 +0100 |
parents | 6669987ffd32 |
children | 1cbb4a5e6ce7 |
rev | line source |
---|---|
34
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
1 \input{preamble.tex} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
2 \input{frames.tex} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
3 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
4 \title{Übersichtsfolien zur Übung} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
5 \subtitle{Diskrete Strukturen im Wintersemester 2013/2014} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
6 \author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
7 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
8 \begin{document} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
9 \showUnit{titel} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
10 %ue01 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
11 \showUnit{organisatorisches} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
12 \showUnit{uebungsablauf} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
13 \showUnit{wasistds} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
14 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
15 \showUnit{mengen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
16 \showUnit{mengenoperationen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
17 \showUnit{venn} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
18 \showUnit{mengenrechenregeln} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
19 \showUnit{potenzmenge} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
20 \showUnit{tupel} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
21 \showUnit{kreuzprodukt} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
22 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
23 %ue02 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
24 \showUnit{relationen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
25 \showUnit{relationeneigenschaften} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
26 \showUnit{funktionen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
27 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
28 %ue03 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
29 \showUnit{aussagenlogiksyntax} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
30 \showUnit{aussagenlogiksemantik} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
31 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
32 %ue04 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
33 \showUnit{aussagenlogikaequivalenzen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
34 \showUnit{aussagenlogiknormalformen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
35 \showUnit{DPLL} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
36 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
37 %ue05 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
38 \showUnit{resolution} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
39 \showUnit{kalkuele} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
40 \showUnit{natuerlichesschliessen} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
41 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
42 %ue06 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
43 \showUnit{praedikatenlogiksyntax} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
44 \showUnit{praedikatenlogikstruktur} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
45 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
46 %ue07 |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
47 \showUnit{natuerlichesschliessenquantoren} |
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
48 \showUnit{induktion} |
39
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
49 |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
50 %ue08 |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
51 \showUnit{wohlfundierteinduktion} |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
52 \showUnit{landausymbole} |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
53 |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
54 %ue09 |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
55 \showUnit{zaehlen} |
44
5734c1faf9cd
tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
39
diff
changeset
|
56 \showUnit{binomialkoeffizient} |
5734c1faf9cd
tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
39
diff
changeset
|
57 \showUnit{multimengen} |
39
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
58 \showUnit{doppeltesabzaehlen} |
0b7b90f84986
nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
34
diff
changeset
|
59 \showUnit{schubfachprinzip} |
44
5734c1faf9cd
tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
39
diff
changeset
|
60 |
5734c1faf9cd
tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
39
diff
changeset
|
61 %ue10 |
5734c1faf9cd
tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
39
diff
changeset
|
62 \showUnit{inklusionexklusion} |
5734c1faf9cd
tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
39
diff
changeset
|
63 \showUnit{stirlingzahlen} |
50
d058663d28a8
eleventh sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
44
diff
changeset
|
64 |
d058663d28a8
eleventh sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
44
diff
changeset
|
65 %ue11 |
d058663d28a8
eleventh sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
44
diff
changeset
|
66 \showUnit{graphdefinition} |
d058663d28a8
eleventh sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
44
diff
changeset
|
67 \showUnit{pruefercode} |
51
7a8c748e3010
twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
50
diff
changeset
|
68 |
7a8c748e3010
twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
50
diff
changeset
|
69 %ue12 |
7a8c748e3010
twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
50
diff
changeset
|
70 \showUnit{gradfolgen} |
7a8c748e3010
twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
50
diff
changeset
|
71 \showUnit{spannbaeume} |
7a8c748e3010
twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
50
diff
changeset
|
72 \showUnit{eulertouren} |
7a8c748e3010
twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
50
diff
changeset
|
73 \showUnit{gerichtetegraphen} |
52
6669987ffd32
thirteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
51
diff
changeset
|
74 |
6669987ffd32
thirteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
51
diff
changeset
|
75 %ue13 |
6669987ffd32
thirteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
51
diff
changeset
|
76 \showUnit{graphfaerbung} |
6669987ffd32
thirteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
51
diff
changeset
|
77 \showUnit{planaritaet} |
53
a9b64faf4b8f
fourteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
52
diff
changeset
|
78 |
a9b64faf4b8f
fourteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
52
diff
changeset
|
79 %ue14 |
a9b64faf4b8f
fourteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
52
diff
changeset
|
80 \showUnit{algebradefinitionen} |
a9b64faf4b8f
fourteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
52
diff
changeset
|
81 \showUnit{erweitertereuklid} |
34
189900976413
add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff
changeset
|
82 \end{document} |