PRO2

L'avaluació a PRO2 consta de vàries parts:

• L'examen parcial $P$ (30%).
• L'examen final $F$ (30%).
• La pràctica, $L$ (25%).
• Vàries entregues durant el curs, $E$ (10%).
• Control sobre verificació formal, $V$ (5%).

Així doncs, la fórmula per calcular la nota final és:

$$0.3*P + 0.3*F + 0.25*L + 0.10*E + 0.05*V$$

a on totes les notes són entre 0 i 10.

Els exàmens, la pràctica i els entregables són individuals (a menys que es digui el contrari en alguna entrega específica). En particular, es recomana resoldre els entregables individualment, en primer lloc perquè és obligatori fer-ho així, i en segon lloc, perquè estan molt orientats a adquirir una bona preparació per als exàmens.

En tot el codi entregat s'utilitzen detectors de còpia. Els casos sospitosos es comuniquen a la FIB, que prendrà la decisió disciplinària corresponent.

Per més detalls, consulteu l'apartat de metodologia d'avaluació a la guia docent.

Dates Clau

Dates de controls i exàmens:

• Control de Verificació Formal: 28 d'octubre de 2024.
• Examen Parcial: 31 d'octubre de 2024.
• Examen Final: 9 de gener de 2025.

Dates d'entregables (provisionals):

• Entrega 1: 30 de setembre de 2024.
• Entrega 2: 14 d'octubre de 2024.
• Entrega 3: 11 de novembre de 2024.
• Publicació Enunciat Pràctica: 18 de novembre de 2024.
• Entrega Pràctica: 15 de desembre de 2024.
• Entrega 4: 16 de desembre de 2024.

Correcció de Problemes

Els problemes tant de l'examen parcial, l'examen final o els exercicis setmanals s'entreguen a través del Jutge. La nota que emet el Jutge per a un problema la considerarem com la "nota automàtica".

En general, passar els jocs de prova públics otorga un percentatge de la nota automàtica, i passar els públics i privats otorga el 100% de la nota automàtica.

No obstant, els professors revisaran el codi, i poden canviar la nota automàtica per una nota manual sota certes circumstàncies que es descriuen a continuació:

• Una entrega que supera els jocs de proves (públics o tots) pot tenir un 0 si és incorrecta (malgrat els jocs de prova no ho detectin), o no obeeix a restriccions específiques de l'exercici (com per exemple si es demanava una funció recursiva i se'n fa una d'iterativa), si té un codi indesxifrable, o bé si fa trampes d'una manera o altra.

• Un professor també pot (encara que no està obligat a) modificar una nota automàtica si el codi enviat és de gran qualitat, i és una solució quasi correcta, però la raó per la qual falla era molt difícil de trobar.

Correcció de la Pràctica

La pràctica, al contrari que els problemes d'examen i entregables, té una gran part de correcció manual.

L'examen final contindrà, almenys, una pregunta sobre la pràctica. S'hauràn de reproduir un o més dels algorismes de la pràctica, amb molt poques modificacions.

Control de Verificació Formal

El control de verificació formal ($V$), constarà d'unes preguntes curtes sobre la correcció de programes iteratius i recursius. Aquests programes s'escolliran d'entre els treballats a les anteriors sessions de laboratori. Per tant és important acabar totes les sessions de laboratori cada setmana.