\documentclass[11pt]{article}

\pagestyle{empty}

\begin{document}

\section*{\hspace*{-2cm}Assignments matrix Logical Verification}

\vspace{1cm}

\hspace*{-3cm}
\begin{tabular}{rrrrrrrrrrrrrr}
learning objective & A1 & A2 & A3 & A4 & A5 & A6 & A7 & A8 & A9 & A10 & A11 \vspace{4mm}\\
& 10p & 10p & 10p & 10p & 10p & 10p & 10p & 10p & 10p & 10p & 10p \vspace{4mm}\\
\hline
~\\
tactical proofs & & 75\% & 10\% & 20\% & 20\% & & & & & & \vspace{4mm}\\
proofs by induction & & 20\% & 25\% & & & & & & & & \vspace{4mm}\\
proof terms & & & 70\% & & & & & & & & \vspace{4mm}\\
inductive types & 50\% & & & 40\% & & & & & & & \vspace{4mm}\\
recursive functions & 50\% & & & 40\% & & & & & & & \vspace{4mm}\\
inductive predicates & & & & & 80\% & & & 25\% & & & \vspace{4mm}\\
monads & & & & & & \llap{1}00\% & 25\% & & & & \vspace{4mm}\\
metaprogramming & & & & & & & 75\% & & 25\% & & \vspace{4mm}\\
operational semantics & & & & & & & & 75\% & & & \vspace{4mm}\\
Hoare logic & & & & & & & & & 75\% & & \vspace{4mm}\\
denotational semantics & & & & & & & & & & \llap{1}00\% & \vspace{4mm}\\
quotients and subtypes & & & & & & & & & & & 50\% \vspace{4mm}\\
mathematics & & & & & & & & & & & 50\% \vspace{4mm}\\
\end{tabular}

\vspace{1cm}

\section*{\hspace*{-2cm}Final exam matrix Logical Verification}

\vspace{1cm}

\hspace*{-3cm}
\begin{tabular}{rrrrrrrrr}
learning objective & Q1 & Q2 & Q3 & Q4 & Q5 & Q6 \vspace{4mm}\\
& 16p & 15p & 13p & 20p & 16p & 10p \vspace{4mm}\\
\hline
~\\
tactical proofs & & & & & & 25\% \vspace{4mm}\\
proofs by induction & 25\% & & & & 25\% & \vspace{4mm}\\
proof terms & & 50\% & & & & \vspace{4mm}\\
inductive types & 25\% & & & & & \vspace{4mm}\\
recursive functions & 50\% & & & & & \vspace{4mm}\\
inductive predicates & & 50\% & \llap{1}00\% & & 25\% & \vspace{4mm}\\
monads & & & & & & 25\% \vspace{4mm}\\
metaprogramming & & & & & & 50\% \vspace{4mm}\\
operational semantics & & & & & 50\% & \vspace{4mm}\\
Hoare logic & & & & & & \vspace{4mm}\\
denotational semantics & & & & & & \vspace{4mm}\\
quotients and subtypes & & & & 50\% & & \vspace{4mm}\\
mathematics & & & & 50\% & & \vspace{4mm}\\
\end{tabular}

\vspace{1cm}

\section*{\hspace*{-2cm}Resit exam matrix Logical Verification}

\vspace{1cm}


\hspace*{-3cm}
\begin{tabular}{rrrrrrrr}
learning objective & Q1 & Q2 & Q3 & Q4 & Q5 & Q6 \vspace{4mm}\\
& 10p & 14p & 14p & 18p & 18p & 16p \vspace{4mm}\\
\hline
~\\
tactical proofs & & & & & & 25\% \vspace{4mm}\\
proofs by induction & & & 50\% & & & \vspace{4mm}\\
proof terms & \llap{1}00\% & 50\% & & & & \vspace{4mm}\\
inductive types & & & & & & 25\% \vspace{4mm}\\
recursive functions & & & & & & 50\% \vspace{4mm}\\
inductive predicates & & 50\% & 50\% & & & \vspace{4mm}\\
monads & & & & & \llap{1}00\% & \vspace{4mm}\\
metaprogramming & & & & & & \vspace{4mm}\\
operational semantics & & & & & & \vspace{4mm}\\
Hoare logic & & & & & & \vspace{4mm}\\
denotational semantics & & & & & & \vspace{4mm}\\
quotients and subtypes & & & & 25\% & & \vspace{4mm}\\
mathematics & & & & 75\% & & \vspace{4mm}\\
\end{tabular}

\end{document}
