Mercurial > 14ss.theoinf
annotate notes/tex/frames.tex @ 33:80680bf7a9e9
repetition slides
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Wed, 16 Jul 2014 21:15:39 +0200 |
parents | 60757c0ba1f0 |
children |
rev | line source |
---|---|
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}{% | |
33 | 77 \begin{frame}[c] |
1 | 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} | |
33 | 88 \item Kellerautomaten, Deterministische Kellerautomaten |
89 \item \structure{(GNF-Synthese)} | |
90 \item \structure{(PDA $\leftrightarrow$ CFG)} | |
1 | 91 \item Kontextfreies Pumpinglemma |
92 \item Turingmaschinen | |
93 \item LOOP und PR | |
33 | 94 \item Berechenbarkeit, Entscheidbarkeit |
95 \item Reduktionen (in der Berechenbarkeit) | |
1 | 96 \end{itemize} |
97 \end{frame} | |
98 } | |
99 | |
15
60757c0ba1f0
rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
9
diff
changeset
|
100 \input{automata.tex} |
1 | 101 \input{grammars.tex} |
102 \input{computation.tex} |