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)

UPDATE (16 March 2020): due to the COVID-19 restrictions,   the first test will be replaced by the following remote assessment components:
  • 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)
Coq Assessments will consist in a small number of practical exercises on the material taught. More detailed instructions will be published later. You will get a grade CA from 0 to 20 for the three Coq Assessments that consists in adding the grades for the assessments that you submit. For example, if you submit CA1, CA2, and CA3, then CA = CA1+CA2+CA3 . Also, you will get a grade from 0 to 20 for the online multiple-choice test (MCQ1). To calculate the final grade, we will use the formula above, but   T1 will be calculated as follows: 

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.