Mercurial > 13ws.ds

annotate notes/tex/complete_notes.tex @ 52:6669987ffd32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
thirteenth sheet and notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Tue, 28 Jan 2014 00:42:39 +0100
parents 7a8c748e3010
children a9b64faf4b8f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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}
34
189900976413 add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
78 \end{document}