Mercurial > 13ss.theoinf

annotate notes/tex/frames.tex @ 41:5d10471f5585

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
move frame-definitions out of presentations
author Markus Kaiser <markus.kaiser@in.tum.de>
date Thu, 11 Jul 2013 20:42:36 +0200
parents
children 35e8bb96da7b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
1 \newcommand{\defineUnit}[2]{\expandafter\newcommand\csname theoDefine#1\endcsname{#2}}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
2 \newcommand{\showUnit}[1]{\csname theoDefine#1\endcsname}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
3
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
4 \defineUnit{organisatorisch}{%
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
5 \begin{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
6 \frametitle{Organisatorisches}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
7
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
8 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
9 \item Mail: \href{mailto:tutor@zfix.org}{tutor@zfix.org}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
10 \item Web: \href{tutor.zfix.org}{tutor.zfix.org}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
11 \vfill
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
12 \item Wann?
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
13 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
14 \item Dienstag 10:15-11:45 00.08.038
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
15 \item Dienstag 12:05-13:35 00.08.038
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
16 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
17 \item Übungsablauf, Aufgabentypen
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
18 \item Hausaufgaben
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
19 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
20 \item Abgabe am Montag 14h, \alert{allein}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
21 \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
22 \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
23 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
24 \item Klausur
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
25 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
26 \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
27 \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
28 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
29 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
30 \end{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
31 }
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
32
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
33 \defineUnit{wasisttheo}{%
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
34 \begin{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
35 \frametitle{Was ist Theoinf?}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
36
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
37 Aus der VL
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
38 \vspace{1em}
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 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
41 \item Automatentheorie
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
42 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
43 \item Rechner mit endlichem oder kellerartigem Speicher
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
44 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
45 \vspace{0.5em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
46 \item Grammatiken
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 Syntax von Programmiersprachen
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
49 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
50 \vspace{0.5em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
51 \item Berechenbarkeitstheorie
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
52 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
53 \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
54 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
55 \vspace{0.5em}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
56 \item Komplexitätstheorie
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
57 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
58 \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
59 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
60 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
61 \end{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
62 }
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
63
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
64 \defineUnit{alphabet}{%
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
65 \begin{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
66 \frametitle{Alphabet}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
67
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
68 \begin{definition}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
69 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
70 \item Ein \alert{Alphabet} $\Sigma$ ist eine endliche Menge.
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
71 \item Ein \alert{Wort} über $\Sigma$ ist eine endliche Folge von Zeichen.
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
72 \item Eine Teilmenge $L \subseteq \Sigma^*$ ist eine \alert{formale Sprache}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
73 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
74 \end{definition}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
75
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
76 \vfill
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
77
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
78 \begin{definition}[Operationen auf Sprachen]
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
79 \begin{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
80 \item $\alert{AB} = \left\{ uv \mid u \in A \wedge v \in B \right\}$
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
81 \item $\alert{A^n} = \left\{w_1 \ldots w_n \mid w_1 \ldots w_n \in A \right\}$,\qquad $A^0 = \{\epsilon\}$
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
82 \item $\alert{A^*} = \bigcup_{n \in \N_0} A^n$
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
83 \end{itemize}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
84 \end{definition}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
85 \end{frame}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
86 }
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
87
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
88 \input{automatons.tex}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
89 \input{grammars.tex}
5d10471f5585 move frame-definitions out of presentations
Markus Kaiser <markus.kaiser@in.tum.de>
parents:
diff changeset
90 \input{computation.tex}