Removed grades

This commit is contained in:
Wen Kokke 2019-07-15 16:57:24 +01:00
parent 3e2bd1a4e5
commit 7e30176b2b

View file

@ -928,40 +928,14 @@ hours online), and before that a `mock mock' exam as coursework (in
their own time, encouraged to ask questions, tasked to do all three
questions rather than two of three).
Table~\ref{tab:exams} shows performance on the mock exam and the final
exam for the courses run at Edinburgh and PUC-Rio. While scores vary
widely on the mock, all students achieve perfection on the
For the courses run at Edinburgh and PUC-Rio, the scores vary
widely on the mock, but all students achieve perfection on the
exam. (The one exception was a PUC-Rio student who did not attend
classes or sit the mock.) Similar results were achieved at Edinburgh
over the previous five years, using SF as the course textbook and Coq
as the proof assistant. We consider these results a tribute to the
students' ability to study and learn.
\begin{table}
\begin{center}
\begin{tabular}{|cc|cc|}
\hline
\multicolumn{2}{|c|}{Edinburgh} &
\multicolumn{2}{c|}{PUC-Rio} \\
\hline
Mock & Exam & Mock & Exam \\
\hline
15 & 50 & -- & 40 \\
29 & 50 & ~6 & 50 \\
33 & 50 & 20 & 50 \\
35 & 50 & 28 & 50 \\
36 & 50 & 41 & 50 \\
48 & 50 & 49 & 50 \\
49 & 50 & 50 & 50 \\
50 & 50 & 50 & 50 \\
50 & 50 & 50 & 50 \\
50 & 50 & 50 & 50 \\
\hline
\end{tabular}
\end{center}
\caption{Exam marks}
\label{tab:exam}
\end{table}
\section{Software}