equal
deleted
inserted
replaced
26 |
26 |
27 \normalsize |
27 \normalsize |
28 \begin{center} |
28 \begin{center} |
29 \begin{tabular}{lp{8cm}} |
29 \begin{tabular}{lp{8cm}} |
30 Email: & christian.urban at kcl.ac.uk\\ |
30 Email: & christian.urban at kcl.ac.uk\\ |
31 Office: & N7.07 (North Wing, Bush House)\\ |
31 Office: & N\liningnums{7.07} (North Wing, Bush House)\\ |
32 Slides: & KEATS (also homework and coursework is there)\\ |
32 Slides: & KEATS (also homework and coursework is there)\\ |
33 \end{tabular} |
33 \end{tabular} |
34 \end{center} |
34 \end{center} |
35 |
35 |
36 \end{frame} |
36 \end{frame} |
40 \begin{frame}[c] |
40 \begin{frame}[c] |
41 \frametitle{Scala Book, Exams} |
41 \frametitle{Scala Book, Exams} |
42 |
42 |
43 \begin{itemize} |
43 \begin{itemize} |
44 \item \small https://nms.kcl.ac.uk/christian.urban/ProgInScala2ed.pdf\normalsize |
44 \item \small https://nms.kcl.ac.uk/christian.urban/ProgInScala2ed.pdf\normalsize |
45 \item homeworks (written exam 80\%) |
45 \item homework (written exam 80\%) |
46 \item coursework (20\%)\bigskip |
46 \item coursework (20\%)\bigskip |
47 \item short survey at KEATS; to be answered until Sunday |
47 \item short survey at KEATS; to be answered until Sunday |
48 \end{itemize} |
48 \end{itemize} |
49 |
49 |
50 \end{frame} |
50 \end{frame} |
171 |
171 |
172 |
172 |
173 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
173 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
174 \begin{frame}[c] |
174 \begin{frame}[c] |
175 |
175 |
176 We proved partially |
176 We proved |
177 |
177 |
178 \begin{center} |
178 \begin{center} |
179 \bl{$nullable(r)$} \;if and only if\; \bl{$[] \in L(r)$} |
179 \bl{$nullable(r)$} \;if and only if\; \bl{$[] \in L(r)$} |
180 \end{center} |
180 \end{center} |
181 |
181 |