Mercurial > 13ws.ds

annotate 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
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}
0b7b90f84986 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 34
diff changeset
56 \showUnit{doppeltesabzaehlen}
0b7b90f84986 nineth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 34
diff changeset
57 \showUnit{schubfachprinzip}
34
189900976413 add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
58 \end{document}