|
1
|
1 \newcommand{\defineUnit}[2]{\setbeamertemplate{slide #1}{{#2}}} |
|
|
2 \newcommand{\showUnit}[1]{\usebeamertemplate{slide #1}} |
|
|
3 |
|
|
4 \defineUnit{titel}{% |
|
|
5 \begin{frame} |
|
|
6 \titlepage |
|
|
7 \end{frame} |
|
|
8 } |
|
|
9 |
|
|
10 \defineUnit{organisatorisches}{% |
|
|
11 \begin{frame} |
|
|
12 \frametitle{Organisatorisches} |
|
|
13 |
|
|
14 \begin{itemize} |
|
3
|
15 \item Markus Kaiser |
|
1
|
16 \begin{itemize} |
|
3
|
17 \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org} |
|
|
18 \item Web: \href{theo.zfix.org}{theo.zfix.org} |
|
|
19 \item Hg: \href{tutor.zfix.org}{tutor.zfix.org} |
|
1
|
20 \end{itemize} |
|
3
|
21 \vfill |
|
|
22 \item Meine Übungen |
|
|
23 \begin{itemize} |
|
9
|
24 \item Gruppe 03: Montag, 16:05 - 17:35, 03.11.018 |
|
3
|
25 \item Gruppe 15: Donnerstag, 10:15 - 11:45, 00.08.038 |
|
|
26 \end{itemize} |
|
|
27 \vspace{0.5em} |
|
1
|
28 \item Hausaufgaben |
|
|
29 \begin{itemize} |
|
3
|
30 \item Abgabe am Mittwoch, 10h |
|
|
31 \item Rückgabe in der Übung |
|
|
32 \item \alert{Kein Notenbonus} |
|
|
33 \item Trotzdem machen! |
|
1
|
34 \end{itemize} |
|
3
|
35 \vspace{0.5em} |
|
1
|
36 \item Klausur |
|
|
37 \begin{itemize} |
|
3
|
38 \item Endterm: Do 24.07. 11-14h |
|
|
39 \item Wiederholung: Do 25.09. 11-14h |
|
1
|
40 \end{itemize} |
|
|
41 \end{itemize} |
|
|
42 \end{frame} |
|
|
43 } |
|
|
44 |
|
|
45 \defineUnit{wasisttheo}{% |
|
|
46 \begin{frame} |
|
|
47 \frametitle{Was ist Theoinf?} |
|
|
48 |
|
|
49 Aus der VL |
|
|
50 \vspace{1em} |
|
|
51 |
|
|
52 \begin{itemize} |
|
|
53 \item Automatentheorie |
|
|
54 \begin{itemize} |
|
|
55 \item Rechner mit endlichem oder kellerartigem Speicher |
|
|
56 \end{itemize} |
|
|
57 \vspace{0.5em} |
|
|
58 \item Grammatiken |
|
|
59 \begin{itemize} |
|
|
60 \item Syntax von Programmiersprachen |
|
|
61 \end{itemize} |
|
|
62 \vspace{0.5em} |
|
|
63 \item Berechenbarkeitstheorie |
|
|
64 \begin{itemize} |
|
|
65 \item Untersuchung der Grenzen, was Rechner prinzipiell können |
|
|
66 \end{itemize} |
|
|
67 \vspace{0.5em} |
|
|
68 \item Komplexitätstheorie |
|
|
69 \begin{itemize} |
|
|
70 \item Untersuchung der Grenzen, was Rechner mit begrenzten Ressourcen können |
|
|
71 \end{itemize} |
|
|
72 \end{itemize} |
|
|
73 \end{frame} |
|
|
74 } |
|
|
75 |
|
|
76 \defineUnit{klausur}{% |
|
|
77 \begin{frame} |
|
|
78 \frametitle{Obacht, Klausur!} |
|
|
79 \setbeamercovered{dynamic} |
|
|
80 |
|
|
81 \begin{itemize} |
|
|
82 \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA} |
|
|
83 \item \structure{(Produktautomat)} |
|
|
84 \item \structure{Quotientenautomat, Minimale DFAs} |
|
|
85 \item Reguläres Pumpinglemma |
|
|
86 \item \structure{CNF-Synthese} |
|
|
87 \item \structure{Nützliche Symbole, CYK} |
|
|
88 \item (Kellerautomaten) |
|
|
89 \item Kontextfreies Pumpinglemma |
|
|
90 \item Turingmaschinen |
|
|
91 \item LOOP und PR |
|
|
92 \item WHILE und $\mu$-Rekursion |
|
|
93 \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice |
|
|
94 \item \structure{PCP} |
|
|
95 \item (P und NP, Verifikatoren) |
|
|
96 \item Reduktionen von und auf NP-Probleme |
|
|
97 \end{itemize} |
|
|
98 \end{frame} |
|
|
99 } |
|
|
100 |
|
|
101 \input{automatons.tex} |
|
|
102 \input{grammars.tex} |
|
|
103 \input{computation.tex} |
