Mercurial > 13ss.theoinf

annotate notes/tex/frames.tex @ 55:b815b94ae158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ue13 notes
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 22 Jul 2013 23:56:37 +0200
parents 67f995b2c412
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
42
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
1 \newcommand{\defineUnit}[2]{\setbeamertemplate{slide #1}{{#2}}}
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
2 \newcommand{\showUnit}[1]{\usebeamertemplate{slide #1}}
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
3
42
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
4 \defineUnit{titel}{%
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
5 \begin{frame}
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
6 \titlepage
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
7 \end{frame}
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
8 }
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
9
35e8bb96da7b use beamer templates to define units; missing slide added
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 41
diff changeset
10 \defineUnit{organisatorisches}{%
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
11 \begin{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
12 \frametitle{Organisatorisches}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
13
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
14 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
15 \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
47
67f995b2c412 recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 42
diff changeset
16 \item Web: \href{theo.zfix.org}{theo.zfix.org}
67f995b2c412 recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 42
diff changeset
17 \item Hg: \href{tutor.zfix.org}{tutor.zfix.org}
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
18 \vfill
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
19 \item Wann?
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
20 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
21 \item Dienstag 10:15-11:45 00.08.038
47
67f995b2c412 recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 42
diff changeset
22 \item Dienstag 12:10-13:45 00.08.038
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
23 \end{itemize}
47
67f995b2c412 recompile everything; add all notes in one file
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 42
diff changeset
24 %\item Übungsablauf, Aufgabentypen
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
25 \item Hausaufgaben
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
26 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
27 \item Abgabe am Montag 14h, \alert{allein}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
28 \item Rückgabe in der \alert{richtigen} Übung
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
29 \item Notenbonus für 40\% der Punkte, 40\% in der zweiten Hälfte
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
30 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
31 \item Klausur
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
32 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
33 \item Endterm: Mi 31.07. 11.30-14h
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
34 \item Wiederholung: Do 26.09. 11-13.30h
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
35 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
36 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
37 \end{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
38 }
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
39
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
40 \defineUnit{wasisttheo}{%
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
41 \begin{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
42 \frametitle{Was ist Theoinf?}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
43
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
44 Aus der VL
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
45 \vspace{1em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
46
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
47 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
48 \item Automatentheorie
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
49 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
50 \item Rechner mit endlichem oder kellerartigem Speicher
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
51 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
52 \vspace{0.5em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
53 \item Grammatiken
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
54 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
55 \item Syntax von Programmiersprachen
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
56 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
57 \vspace{0.5em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
58 \item Berechenbarkeitstheorie
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
59 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
60 \item Untersuchung der Grenzen, was Rechner prinzipiell können
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
61 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
62 \vspace{0.5em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
63 \item Komplexitätstheorie
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
64 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
65 \item Untersuchung der Grenzen, was Rechner mit begrenzten Ressourcen können
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
66 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
67 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
68 \end{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
69 }
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
70
55
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
71 \defineUnit{klausur}{%
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
72 \begin{frame}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
73 \frametitle{Obacht, Klausur!}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
74 \setbeamercovered{dynamic}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
75
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
76 \begin{itemize}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
77 \item \structure{RE $\to$ $\epsilon$-NFA $\to$ NFA $\to$ DFA}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
78 \item \structure{(Produktautomat)}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
79 \item \structure{Quotientenautomat, Minimale DFAs}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
80 \item Reguläres Pumpinglemma
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
81 \item \structure{CNF-Synthese}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
82 \item \structure{Nützliche Symbole, CYK}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
83 \item (Kellerautomaten)
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
84 \item Kontextfreies Pumpinglemma
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
85 \item Turingmaschinen
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
86 \item LOOP und PR
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
87 \item WHILE und $\mu$-Rekursion
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
88 \item Berechenbarkeit, Entscheidbarkeit, Satz von Rice
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
89 \item \structure{PCP}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
90 \item (P und NP, Verifikatoren)
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
91 \item Reduktionen von und auf NP-Probleme
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
92 \end{itemize}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
93 \end{frame}
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
94 }
b815b94ae158 ue13 notes
Markus Kaiser <markus.kaiser@in.tum.de>
parents: 47
diff changeset
95
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
96 \input{automatons.tex}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
97 \input{grammars.tex}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
98 \input{computation.tex}