Mercurial > 13ws.ds

annotate notes/tex/preamble.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
29
7b032fb47f48 smaller logo; fix frametitle; bitsream vera font
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 26
diff changeset
1 \documentclass[compress, 9pt, german, t]{beamer}
13
7fed03e118ea fix dimen error
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 12
diff changeset
2 \usepackage{etex}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
3
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
4 \usepackage[ngerman]{babel}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
5 \uselanguage{German}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
6 \languagepath{German}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
7
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
8 \usepackage[T1]{fontenc}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
9 \usepackage[utf8]{inputenc}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
10
29
7b032fb47f48 smaller logo; fix frametitle; bitsream vera font
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 26
diff changeset
11 \usepackage{arev}
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
12 \usepackage{mathpazo}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
13 \usepackage{microtype}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
14
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
15 \usepackage{url}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
16 \usepackage{listings}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
17 \usepackage{xcolor}
12
c903f55b68de third slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 9
diff changeset
18 \usepackage{tabu}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
19 \usepackage{tikz}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
20 \usepackage{pgfplots}
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
21 \pgfplotsset{compat=1.8}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
22 \usetikzlibrary{automata}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
23 \usetikzlibrary{calc}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
24 \usetikzlibrary{shapes}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
25 \usetikzlibrary{positioning}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
26 \usetikzlibrary{chains}
22
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
27 \usetikzlibrary{fit}
51
7a8c748e3010 twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 46
diff changeset
28 \usetikzlibrary{decorations}
7a8c748e3010 twelfth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 46
diff changeset
29 \usetikzlibrary{decorations.markings}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
30
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
31 \usepackage{amsmath}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
32 \usepackage{mathdots}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
33 \usepackage{mathtools}
12
c903f55b68de third slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 9
diff changeset
34 \mathtoolsset{showonlyrefs,showmanualtags}
c903f55b68de third slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 9
diff changeset
35 \usepackage{mathrsfs}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
36 \usepackage{csquotes}
3
ead11e11a950 finish first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 1
diff changeset
37 \usepackage{wasysym}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
38
22
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
39 \usepackage[noend]{algpseudocode}
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
40 % Proof trees
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
41 \usepackage{bussproofs}
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
42
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
43 \usepackage{beamerthemeLEA2}
46
f481e19e1430 remove suprlus bracket; define sane default for beamer cover
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 44
diff changeset
44 \setbeamercovered{transparent}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
45
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
46 \newcommand{\N}{\mathbb{N}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
47 \newcommand{\Z}{\mathbb{Z}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
48 \newcommand{\Q}{\mathbb{Q}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
49 \newcommand{\R}{\mathbb{R}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
50 \newcommand{\C}{\mathbb{C}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
51 \newcommand{\Prob}{\mathrm{P}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
52 \newcommand{\Oh}{\mathcal{O}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
53
26
4436f8006ebd fix minor errors; sixth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
54 \newcommand{\true}{\mathrm{true}}
4436f8006ebd fix minor errors; sixth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
55 \newcommand{\false}{\mathrm{false}}
4436f8006ebd fix minor errors; sixth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 22
diff changeset
56
3
ead11e11a950 finish first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 1
diff changeset
57 \newcommand{\abs}[1]{\left\vert #1 \right\vert}
ead11e11a950 finish first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 1
diff changeset
58 \newcommand{\powerset}[1]{\mathcal{P}\left( #1 \right)}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
59 \newcommand{\setnot}[1]{\overline{#1}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
60 \newcommand{\setsymdiff}{\,\triangle\,}
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
61
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
62 \newcommand{\rel}[1]{\,\mathrm{#1}\,}
44
5734c1faf9cd tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 29
diff changeset
63 \DeclareRobustCommand{\stirlingone}{\genfrac{[}{]}{0pt}{}}
5734c1faf9cd tenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 29
diff changeset
64 \DeclareRobustCommand{\stirlingtwo}{\genfrac\{\}{0pt}{}}
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
65
9
25d752768544 nicer defeq
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 6
diff changeset
66 \newcommand{\defeq}{\coloneqq} %Mathtools already defines this
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
67
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
68 \tikzstyle{edge} = [draw,very thick,->,>=latex]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
69 \tikzstyle{pretty} = [circle,thick,draw,fill=tumblue!10]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
70 \tikzstyle{every edge} = [edge]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
71 \tikzstyle{every state} = [pretty]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
72 \tikzstyle{automaton} = [shorten >=1pt, node distance = 3cm, auto, bend angle=20, initial text=]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
73 \tikzstyle{small} = [every node/.style={scale=0.5}, baseline=(current bounding box.north), font=\LARGE]
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 \pgfdeclarelayer{background}
6669987ffd32 thirteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 51
diff changeset
76 \pgfdeclarelayer{foreground}
6669987ffd32 thirteenth sheet and notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 51
diff changeset
77 \pgfsetlayers{background,main,foreground}