Mercurial > 13ss.theoinf

changeset 22:95ca58a84257

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Automated merge with ssh://hg/13ss.theoinf
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 13 May 2013 23:19:47 +0200
parents e639ca7b5478 (diff) 8b37b5ab61a5 (current diff)
children 56490ea79fb2
files notes/tex/ue03_notes.tex
diffstat 2 files changed, 1 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/notes/tex/ue03_notes.tex	Mon May 13 23:19:33 2013 +0200
+++ b/notes/tex/ue03_notes.tex	Mon May 13 23:19:47 2013 +0200
@@ -43,16 +43,6 @@
     \titlepage
 \end{frame}
 
-\begin{frame}[c]
-    \frametitle{Feedback}
-    \setbeamercovered{dynamic}
-    \begin{itemize}
-        \item Hausaufgaben
-        \item Übungsniveau
-        \item Links
-    \end{itemize}
-\end{frame}
-
 \begin{frame}
     \frametitle{Nochmal Reguläre Ausdrücke}
     \setbeamercovered{dynamic}
@@ -214,7 +204,7 @@
     \pause
 
     \begin{theorem}
-        Für eine reguläre Sprache $D$ ist \alert{entscheidbar}:
+        Für eine Darstellung $D$ einer regulären Sprache ist \alert{entscheidbar}:
         \vspace{1em}
         \begin{description}
             \item[Wortproblem] Gegeben $w$, gilt $w \in L(D)$?
Binary file notes/ue03_notes.pdf has changed