Entité Promoteur Sécurité Informatique
Unité d'enseignement Mathématiques pour l'informatique
Type de l'Unité d'enseignement Unité de Connaissances Fondamentales
Acquis d'apprentissage
Semestre 1
ECU concerné Logique et techniques des preuves
Enseignant principal ATINDOGBE Cyriaque
Enseignant secondaire n/a
Plan du cours