Métodos de Avaliação
There are two tests during the semester (T1 and T2) and an optional project/presentation (P). The calculation of the final grade (F) is:
F = max(T1*0.5 + T2*0.5 , T1*0.4 + T2*0.4 + P*0.2)
- Coq Assessment 1 (CA1)
- Released: 18 March (after lecture)
- Deadline: 24 March (5pm)
- Coq Assessment 2 (CA2)
- Released: 25 March (after lecture)
- Deadline: 31 March (5pm)
- Optional: Coq Assessment 3 (CA3)
- Released:
1 April (after lecture)8 April - Deadline:
13 April (5pm)27 April (10:59) - Online multiple-choice question test (MCQ1)
- To be held at the time initially set for Test 1 (16/04/2020, 18:00)
T1 = CA*0.5 + MCQ1*0.5
UPDATE (8 May 2020): the second test will be replaced by the following remote assessment components:
- Coq Assessment 4 (CA4), worth 40%
- Online multiple-choice question test (MCQ2), worth 60%
- To be held at the time initially set for Test 2 (15/06/2020, 15:00)
The grades for CA4 and MCQ2 are between 0 and 20. To calculate the final grade (
F), we use the formula above, but
T2 will be calculated as follows:
T2 = CA4 * 0.4 + MCQ2 * 0.6
Students with final grade above 18 will have to defend their grade through an oral examination.