6/8
\begin{frame}
\frametitle{Final Exam and Final Grade}

\begin{goal}{Passing the ProofWeb Practicum}
You need to solve
\begin{itemize}
\item 50\% of the propositional logic tasks assigned to you
\item 50\% of the predicate logic tasks assigned to you
\end{itemize}
\end{goal}
\alert{\textbf{Passing the practicum required for exam participation!}}
\pause\medskip

\begin{goal}{Final Exam}
Covers everything that we have treated in the lectures
and the parts of the book that you are expected to read.
\end{goal}
\pause\medskip

\begin{goal}{Final Grade}
The final grade for the course is:
\begin{itemize}
\item \emph{final exam grade},
\item plus a maximum of 0.6 bonus points from the \emph{practicum}.
\end{itemize}
\end{goal}
\end{frame}