Logique & Démonstration

Quelques infos pratiques

Fonctionnement du module de logique

• 12 h de cours Magistral
• 18h de TD
• 6h de TP (fin de semestre)

Attendus

• Travail personnel (prise de notes, travail du cours chez soi, entraînement aux exercices)
• Assiduité
• Participation

Évaluation

Contrôle continu intégral

\(\to\) Plusieurs contrôles sur tables, pendant les TD et les TP.
\(\to\) Pas d’examen terminal en amphi (sauf RSE).
\(\to\) Absence injustifiée = module et semestre non validés.

Calcul de la note finale

La moyenne des 4 contrôles (3 en TD, 1 en TP)