# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1506433125 -3600
# Node ID 12a8f57f68ea1148162e5064a2afd77c53704a7c
# Parent  5b9cf7fbd51a8893c8c5e7f51bee21f02f65f268
updated

diff -r 5b9cf7fbd51a -r 12a8f57f68ea slides/slides01.pdf
Binary file slides/slides01.pdf has changed
diff -r 5b9cf7fbd51a -r 12a8f57f68ea slides/slides01.tex
--- a/slides/slides01.tex	Tue Sep 26 14:10:43 2017 +0100
+++ b/slides/slides01.tex	Tue Sep 26 14:38:45 2017 +0100
@@ -277,7 +277,7 @@
 
 transforming strings into structured data\\[10mm]
 
-\alert<2>{\LARGE\bf Lexing} \onslide<2>{\hfill{}based on regular expressions}\medskip\\
+{\LARGE\bf Lexing} {\hfill{}based on regular expressions}\medskip\\
 \hspace{5mm}(recognising ``words'')\\[6mm]
 
 {\LARGE\bf Parsing}\medskip\\
@@ -527,7 +527,7 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[t]
-\frametitle{\begin{tabular}{c}Regular Expressions\end{tabular}}
+\frametitle{Regular Expressions}
 
 Their inductive definition:
 
@@ -555,17 +555,17 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\begin{frame}[t]
-\frametitle{Regular Expressions}
-
-\small
-In Scala:\bigskip
-
-\footnotesize
-\lstinputlisting{../progs/app51.scala}
-
-  
-\end{frame}
+%\begin{frame}[t]
+%\frametitle{Regular Expressions}
+%
+%\small
+%In Scala:\bigskip
+%
+%\footnotesize
+%\lstinputlisting{../progs/app51.scala}
+%
+%  
+%\end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -706,10 +706,10 @@
 \begin{itemize}
 \item four programming tasks:
 \begin{itemize}
-\item matcher (4\%, 20.10.) 
+\item matcher (4\%, 19.10.) 
 \item lexer (5\%, 03.11.)
-\item parser (5\%, 24.11.)
-\item compiler (6\%, 13.12.)
+\item parser (5\%, 23.11.)
+\item compiler (6\%, 7.12.)
 \end{itemize}
 \end{itemize}
 \end{column}
@@ -719,7 +719,7 @@
 \underline{\bf Strand 2}\smallskip\begin{itemize}
 \item one task: prove the correctness of a regular expression matcher in 
 the Isabelle theorem prover
-\item 20\%, submission 13.12.
+\item 20\%, submission 7.12.
 \end{itemize}
 \end{column}
 \end{columns}\medskip
@@ -727,9 +727,8 @@
 \small
 \begin{itemize}
 \item Solving more than one strand will {\bf not} give you more 
-marks.\\[-2mm]
-\item The exam will contain in much, much smaller form 
-elements from both (but will also be in lectures and HW).
+marks.
+
 \end{itemize}
 
 \end{frame}
@@ -737,6 +736,28 @@
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{frame}[c]
+\frametitle{Lecture Capture}
+
+\begin{itemize}
+\item Hope it works\ldots\medskip\pause
+\item It is important to use lecture capture wisely:
+\begin{itemize}  
+\item Lecture recordings are a study and revision aid.
+\item Statistically, there is a clear and direct link between attendance and
+  attainment: Students who do not attend lectures, do less well in exams.
+\end{itemize}
+
+\item Attending a lecture is more than watching it online -- if you do not
+attend, you miss out!  
+  
+\end{itemize}
+
+\end{frame}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%   
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\begin{frame}[c]
 \frametitle{\begin{tabular}{c}\\[3cm]\alert{Questions?}\end{tabular}}
 
 \mbox{}