Logique, déduction et programmation

Page web du Master 1 Informatique.



Nouveautés


Références

Références principales : Les volumes ci-dessus sont disponibles à la bibliothèque de l'IMT. Références sur internet :

Emploi du temps


Aides et références pour préparer votre examen :
Note : Comment le cours est évalué :
   NOTE = max(E,(2E+CC)/3)
E est le résultat de l'examen final, CC est l'évaluation du contrôle continue, calculée comme il suit:
   CC = 0.6*PAR + 0.4*PRJ + BONUS
PAR est le résultat de l'examen partiel, PRJ est le résultat du projet, BONUS est donné par vos solutions au exos de TD. Voir ici l'état de vos BONUS.
Luigi Santocanale
Dernière modification : Thu Jan 27 18:03:39 CET 2005