Mercurial > 13ws.ds

annotate 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
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}
189900976413 add complete notes tex file without build
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
49 \end{document}