Mercurial > 13ws.ds

annotate notes/tex/preamble.tex @ 22:dc6b569c57c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fifth slides and sheet
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 18 Nov 2013 23:49:37 +0100
parents 7fed03e118ea
children 4436f8006ebd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
1 \documentclass[compress, 10pt, 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
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
11 \usepackage{mathpazo}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
12 \usepackage{helvet}
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}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
28
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
29 \usepackage{amsmath}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
30 \usepackage{mathdots}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
31 \usepackage{mathtools}
12
c903f55b68de third slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 9
diff changeset
32 \mathtoolsset{showonlyrefs,showmanualtags}
c903f55b68de third slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 9
diff changeset
33 \usepackage{mathrsfs}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
34 \usepackage{csquotes}
3
ead11e11a950 finish first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 1
diff changeset
35 \usepackage{wasysym}
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
36
22
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
37 \usepackage[noend]{algpseudocode}
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
38 % Proof trees
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
39 \usepackage{bussproofs}
dc6b569c57c8 fifth slides and sheet
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 13
diff changeset
40
1
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
41 \usepackage{beamerthemeLEA2}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
42
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
43 \newcommand{\N}{\mathbb{N}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
44 \newcommand{\Z}{\mathbb{Z}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
45 \newcommand{\Q}{\mathbb{Q}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
46 \newcommand{\R}{\mathbb{R}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
47 \newcommand{\C}{\mathbb{C}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
48 \newcommand{\Prob}{\mathrm{P}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
49 \newcommand{\Oh}{\mathcal{O}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
50
3
ead11e11a950 finish first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 1
diff changeset
51 \newcommand{\abs}[1]{\left\vert #1 \right\vert}
ead11e11a950 finish first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 1
diff changeset
52 \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
53 \newcommand{\setnot}[1]{\overline{#1}}
ae52d9ffef38 add basic theme; first slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
54 \newcommand{\setsymdiff}{\,\triangle\,}
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
55
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
56 \newcommand{\rel}[1]{\,\mathrm{#1}\,}
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
57
9
25d752768544 nicer defeq
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 6
diff changeset
58 \newcommand{\defeq}{\coloneqq} %Mathtools already defines this
6
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
59
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
60 \tikzstyle{edge} = [draw,very thick,->,>=latex]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
61 \tikzstyle{pretty} = [circle,thick,draw,fill=tumblue!10]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
62 \tikzstyle{every edge} = [edge]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
63 \tikzstyle{every state} = [pretty]
4d05c4d352ca second slides
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 3
diff changeset
64 \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
65 \tikzstyle{small} = [every node/.style={scale=0.5}, baseline=(current bounding box.north), font=\LARGE]