\documentclass[11pt]{article}

\pagestyle{empty}

\begin{document}

\section*{\hspace*{-2cm}Final exam matrix Logical Verification, 18 December 2018}

\vspace{1cm}

\hspace*{-3cm}
\begin{tabular}{rrrrrrrrr}
learning objective & Q1 & Q2 & Q3 & Q4 & Q5 & total \vspace{4mm}\\
& 18p & 18p & 25p & 15p & 14p & 90p \vspace{4mm}\\
\hline
~\\
Curry--Howard correspondence & & & & & & 0\% \vspace{4mm}\\
proofs by induction & 50\% & 50\% & & & & 20\% \vspace{4mm}\\
recursive functions & & 100\% & & 50\% & 100\% & 44\% \vspace{4mm}\\
termination proofs & & & & & 50\% & 8\% \vspace{4mm}\\
inductive definitions & 100\% & & 25\% & 25\% & 25\% & 35\% \vspace{4mm}\\
monads & & & & & & 0\% \vspace{4mm}\\
operational semantics & & & & & & 0\% \vspace{4mm}\\
Hoare logic & & & & 100\% & & 17\% \vspace{4mm}\\
denotational semantics & & & & & 100\% & 16\% \vspace{4mm}\\
quotients and subtypes & & & 100\% & & & 28\% \vspace{4mm}\\
\end{tabular}

\vspace{1cm}

\section*{\hspace*{-2cm}Repeat exam matrix Logical Verification, 5 February 2019}

\vspace{1cm}


\hspace*{-3cm}
\begin{tabular}{rrrrrrrr}
learning objective & Q1 & Q2 & Q3 & Q4 & Q5 & total \vspace{4mm}\\
& 18p & 21p & 16p & 20p & 15p & 90p \vspace{4mm}\\
\hline
~\\
Curry--Howard correspondence & & & & & & 0\% \vspace{4mm}\\
proofs by induction & & 50\% & & & & 12\% \vspace{4mm}\\
recursive functions & & 100\% & & & 50\% & 32\% \vspace{4mm}\\
termination proofs & & & & & & 0\% \vspace{4mm}\\
inductive definitions & 25\% & 100\% & & 25\% & 100\% & 51\% \vspace{4mm}\\
monads & & & & & & 0\% \vspace{4mm}\\
operational semantics & 100\% & & & & & 20\% \vspace{4mm}\\
Hoare logic & & & 100\% & & & 18\% \vspace{4mm}\\
denotational semantics & & & & & & 0\% \vspace{4mm}\\
quotients and subtypes & & & & 100\% & & 22\% \vspace{4mm}\\
\end{tabular}

\end{document}
