-
Notifications
You must be signed in to change notification settings - Fork 1
/
til-vl-ss2017-notizen.tex
142 lines (123 loc) · 5.08 KB
/
til-vl-ss2017-notizen.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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
\documentclass[a4paper,10pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[ngerman]{babel}
\usepackage[top=2.5cm,bottom=2.5cm,left=2.5cm,right=2.5cm]{geometry}
\usepackage[T1]{fontenc}
\usepackage{graphicx}
\usepackage[table]{xcolor}
\usepackage{fancyhdr}
\usepackage{tgpagella}
\usepackage{marginnote}
\usepackage{nameref}
\usepackage{amsmath,amssymb,amsfonts}
\usepackage{enumitem}
\usepackage{sectsty}
\usepackage{wrapfig}
\usepackage{listings}
\usepackage[
pdfauthor={Dominik Pataky},
pdftitle={Theoretische Informatik und Logik},
pdfsubject={Notizen und Begriffsklärungen aus dem Sommersemester 2017, TU Dresden},
colorlinks=true,linkcolor=black,urlcolor=link]{hyperref}
\definecolor{light-gray}{gray}{0.9}
\definecolor{light-red}{RGB}{255,105,105}
\definecolor{vl}{RGB}{84,200,70}
\definecolor{link}{RGB}{84,100,220}
\definecolor{sectionblue}{RGB}{0,64,114}
\definecolor{subsectionblue}{RGB}{0,94,167}
\definecolor{subsubsectionblue}{RGB}{0,110,195}
% set enumeration style
\setlist[enumerate, 1]{label=\textbf{\alph*)}, leftmargin=2em}
\setlist{itemsep=0em}
% Small line under top header
\renewcommand{\headrulewidth}{0.1pt}
% Formatting macros
\newcommand{\authorHead}[1]{\rhead{\footnotesize Dozent: Prof. Krötzsch, Autor: #1, CC BY-SA 4.0}}
\newcommand{\vl}[1]{\colorbox{vl}{\textcolor{white}{\small\textbf{#1}}}}
\newcommand{\f}[1]{\textbf{#1}}
\newcommand{\blank}{\text{\textvisiblespace}}
\newcommand{\hili}[1]{\colorbox{light-gray}{\textcolor{black}{#1}}}
\newcommand{\verweis}[1]{\textit{\ref{#1} \nameref{#1}}}
\newcommand{\LOES}{\f{Lösung:~}}
% Problems
\newcommand{\prob}[1]{\textbf{#1}}
\newcommand{\prspec}[1]{\prob{P}_{\text{#1}}}
\newcommand{\phalt}{\prspec{halt}}
\newcommand{\paq}{\prspec{äquiv}}
% Math sets
\newcommand{\N}{\mathbb{N}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\POT}{\mathcal{P}}
% Shortcuts
\newcommand{\TMM}[1]{\mathcal{M}_{#1}}
\newcommand{\LANG}{\mathcal{L}}
\newcommand{\SIGS}{\Sigma^{*}}
% Math texts
\newcommand{\MT}[1]{\mathit{#1}}
\newcommand{\NP}{\MT{NP}}
% Plogik
\newcommand{\INT}{\mathcal{I}}
\newcommand{\ZUW}{\mathcal{Z}}
\newcommand{\FM}{\mathcal{T}}
\newcommand{\HU}{\Delta_{F}}
\newcommand{\HE}{\MT{HE}}
\newcommand{\GDW}{\Leftrightarrow}
% Uebungen
\newcommand{\C}{\mathcal{C}}
\newcommand{\SESP}{\MT{SETSPLITTING}}
\newcommand{\SUBINT}{\mathcal{J}}
% Musterklausur
\newcommand{\copaq}{\overline{\mbox{\prob{P}\strut}}_{\text{äquiv}}}
\newcommand{\M}{\mathcal{M}}
\newcommand{\POINT}{{\textcolor{red}{* }}}
\begin{document}
% Header and footer styles
\pagestyle{fancy}
\lhead{\footnotesize Theoretische Informatik und Logik SS2017}
\chead{}
\authorHead{Pataky}
\lfoot{}
\cfoot{\thepage}
\rfoot{}
\begin{titlepage}
\centering
{\scshape\Large Notizen zur Vorlesung \par}
{\scshape\LARGE Theoretische Informatik und Logik \par}
\tableofcontents
\vfill
\begin{abstract}
Notizen zur Vorlesung \url{https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)}. \LaTeX-Quellen unter \url{https://github.com/cooox/theolog-ss2017}.
Die Markierungen verweisen jeweils auf die Vorlesungsnummer in \vl{FS} bzw. \vl{TIL}.
Obwohl der Schwerpunkt auf TheoLog liegt, habe ich ein paar Definitionen aus Formale Systeme mit einbezogen, da TheoLog diese weiterverwendet. \\
Einige Formulierungen habe ich aus den hervorragenden Folien von Prof. Krötzsch geliehen. Quellen dieser Folien sind auf Github zu finden unter \url{https://github.com/mkroetzsch/TheoLog} und sind unter der Lizenz CC BY 3.0 DE verwendbar. Für diese gilt: „(C) Markus Krötzsch, \url{https://iccl.inf.tu-dresden.de/web/TheoLog2017}, CC BY 3.0 DE“. \\
Die Lösungen für die Übungen der Prädikatenlogik sowie Rep 3 und der Musterklausur wurden beigetragen von Tim Schmittmann, \url{https://github.com/TimSchmittmann}. \\
Lizenz für Übungsaufgaben: „\textcopyright\ 2017 Monika Sturm, Daniel Borchmann. This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License“. Siehe Quellen in \url{https://github.com/mkroetzsch/TheoLog/tree/master/Uebungen}.
\end{abstract}
\vfill
\begin{tabular}{p{3cm} p{10cm}}
Autor & Dominik Pataky \\
Dozent & Prof. Markus Krötzsch \\
Ort & Fakultät Informatik, TU Dresden \\
Zeit & Sommersemester 2017 \\
Letztes Update & \today \\
Lizenz & CC BY-SA 4.0
\end{tabular}
\end{titlepage}
\setlength\parindent{0cm} % indentation of paragraphs
\sectionfont{\color{sectionblue}\Large}
\subsectionfont{\color{subsectionblue}\large}
\subsubsectionfont{\color{subsubsectionblue}\normalsize}
\include{includes/formale-systeme}
\include{includes/theoretische-informatik}
\include{includes/plogik}
\newpage
\input{includes/uebungen}
\newpage
\authorHead{Pataky}
\include{includes/rep1}
\include{includes/rep2}
\authorHead{Schmittmann}
\include{includes/rep3}
\include{includes/musterklausur}
\end{document}