This repository has been archived by the owner on Jan 6, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
main.tex
128 lines (107 loc) · 1.8 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
\documentclass[a4paper,titlepage]{report}
%
% utf8 fix
%
\usepackage[utf8]{inputenc}
%
% amsthm
%
\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Korollar}[section]
\newtheorem{tipp}{Tipp}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{satz}{Satz}[section]
\newtheorem{hilfssatz}{Hilfssatz}[section]
\newtheorem{remark}{Bemerkung}[section]
%
% disable paragraph indentation
%
\usepackage{parskip}
%
% PGF/TikZ for state machines
%
\usepackage{
pgf,
tikz
}
\usetikzlibrary{
arrows,
automata
}
%
% other packages
%
\usepackage{
amssymb,
amsfonts,
amsmath,
mathtools,
enumitem,
hyperref,
todonotes,
wasysym
}
%
% listings
%
\usepackage{listings}
\lstset{
language=Pascal,
escapeinside={||}
}
%
% number sets
%
\newcommand{\R}{\mathbb{R}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\LL}{\mathcal{L}}
\newcommand{\powerset}{\mathcal P}
%
% Turingmaschine symbols
%
\newcommand{\stopsym}{\cent}
\newcommand{\emptysym}{\sqcup}
%
% Complexity Theory
%
\newcommand{\Time}{\operatorname{Time}}
\newcommand{\Space}{\operatorname{Space}}
%
% section settings
%
\setcounter{secnumdepth}{3}
%
% document
%
\begin{document}
% title
\title{Theoretische Informatik Zusammenfassung HS13}
\author{Gregor Wegberg}
\date{\today}
\maketitle
% index
\tableofcontents
\clearpage
% todo list
\listoftodos
\clearpage
% chapters
\input{chapter_2.tex}
\input{chapter_3.tex}
\input{chapter_4.tex}
\input{chapter_5.tex}
\input{chapter_6.tex}
\input{chapter_10.tex}
\input{regulaere_audruecke.tex}
\input{extras.tex}
\input{vorlesung.tex}
\end{document}