Mercurial > 14ss.theoinf
annotate notes/tex/frames.tex @ 15:60757c0ba1f0
rename automata file; add complete notes
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Fri, 09 May 2014 11:28:33 +0200 |
parents | f96446e678c8 |
children | 80680bf7a9e9 |
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}{% | |
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 | |
15
60757c0ba1f0
rename automata file; add complete notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
9
diff
changeset
|
101 \input{automata.tex} |
1 | 102 \input{grammars.tex} |
103 \input{computation.tex} |