-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathnotes.tex
115 lines (98 loc) · 3.22 KB
/
notes.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
\documentclass[10pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[ngerman]{babel}
\usepackage[sc,osf]{mathpazo}
\usepackage[german=guillemets]{csquotes}
\usepackage[fleqn]{amsmath}
\usepackage{amssymb,parskip,xspace,textcomp,latexsym,stmaryrd,enumitem,booktabs,array}
\usepackage[margin=3cm]{geometry}
\usepackage{tikz}
\usetikzlibrary{positioning}
\usepackage[
bookmarks=true,
bookmarksnumbered=true,
bookmarksopen=true,
linktocpage=false,
colorlinks=true,
linkcolor=black,
citecolor=black,
filecolor=black,
urlcolor=black,
frenchlinks=false,
breaklinks=true,
pdffitwindow=true
]{hyperref}
\DeclareMathOperator{\AND}{\wedge}
\DeclareMathOperator{\OR}{\vee}
\DeclareMathOperator{\NOT}{\neg}
\DeclareMathOperator{\IMPL}{\rightarrow}
\DeclareMathOperator{\EQUIV}{\equiv}
\DeclareMathOperator*{\ANDop}{\bigwedge}
\DeclareMathOperator*{\ORop}{\bigvee}
\DeclareMathOperator{\UNION}{\cup}
\DeclareMathOperator{\SUBSET}{\subset}
\DeclareMathOperator{\Var}{\text{\textsf{Var}}}
\DeclareMathOperator{\Res}{\text{\textsf{Res}}}
\DeclareMathOperator{\ERes}{\text{\textsf{ERes}}}
\DeclareMathOperator{\ans}{\text{\textsf{ans}}}
\DeclareMathOperator{\qr}{\text{\textsf{qr}}} % Quantorenrank
\DeclareMathOperator{\func}{\text{\textsf{func}}} %?
\def\HK{\ensuremath{\text{\textsf{HK}}}} % Hamiltonkreis
\DeclareMathOperator{\suc}{\text{\textsf{succ}}} % successor
\DeclareMathOperator{\last}{\text{\textsf{last}}} %?
\DeclareMathOperator{\Einer}{\text{\textsf{Einer}}} % Einermenge
\DeclareMathOperator{\cl}{\text{\textsf{cl}}}% closure, Abschluss
\DeclareMathOperator{\Taut}{\text{\textsf{Taut}}}% Tautologie
\DeclareMathOperator{\Th}{\text{\textsf{Th}}}% Theorie...
\DeclareMathOperator{\Sig}{\text{\textsf{Sig}}}% Signatur
\DeclareMathOperator{\dom}{\text{\textsf{dom}}}% Definitionsbereich
\DeclareMathOperator{\ran}{\text{\textsf{ran}}}% Wertebereich
\def\Afrak{\ensuremath{\mathfrak{A}}}
\def\Bfrak{\ensuremath{\mathfrak{B}}} % I'm lazy
\def\Hfrak{\ensuremath{\mathfrak{H}}} % Herbrand-Struktur
\def\N{\ensuremath{\mathbb{N}}}
\def\FO{\ensuremath{\mathsf{FO}}} % first-order
\def\SO{\ensuremath{\mathsf{SO}}} % second-order
\def\true{\ensuremath{\mathsf{true}}}
\def\roem#1{\ensuremath{\text{#1}}\xspace}
\def\set#1{\ensuremath{\left\{#1\right\}}}
\def\I{\roem{I}}
\def\II{\roem{II}}
\def\III{\roem{III}}
\def\qed{\strut\\\null\hfill$\square$}
\def\QED{\strur\\\null\hfill$\blacksquare$}
\def\Until#1#2{\ensuremath{#1\,\mathcal{U}\,#2}}
\def\Since#1#2{\ensuremath{#1\,\mathcal{S}\,#2}}
\def\VL#1{\newpage\input#1}
\begin{document}
\noindent VAK 03-05-H-604.02\smallskip
\noindent \textbf{\Huge Logik}\medskip
\noindent \textbf{Prof. Dr. Carsten Lutz}\bigskip
\begin{itemize}
\item Webseite der Vorlesung:\\
\url{http://www.informatik.uni-bremen.de/tdki/lehre/ws10/logik/}
\item Mitschriften online verfügbar:\\
\url{https://github.com/daniel86/logic-lecture-notes}
\end{itemize}
\tableofcontents
\VL{2010-10-26}
\VL{2010-10-28}
\VL{2010-11-02}
\VL{2010-11-09}
\VL{2010-11-11}
\VL{2010-11-16}
\VL{2010-11-23}
\VL{2010-11-25}
\VL{2010-11-30}
\VL{2010-12-07}
\VL{2010-12-09}
\VL{2010-12-14}
\VL{2011-01-06}
\VL{2011-01-18}
\VL{2011-01-20}
\VL{2011-01-25}
\VL{2011-02-01}
\VL{2011-02-03}
\VL{2011-02-08}
\end{document}