Calculabilité et décidabilité
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2025
Responsable du cours : Christian Codognet Volume horaire : 19.5h de TD
Teaching
Administration système
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2025
Responsable du cours : Thierry Monteil Volume horaire : 30h de TP
Spécification Algébrique et Tests Logiciels
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Flavien Breuvart Volume horaire : 16.5h de TD
Logique
Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Sergueï Lenglet Volume horaire : 18h de TD
Administration système
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Thierry Monteil Volume horaire : 30h de TP
Algorithmique des graphes
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Frédérique Roupin Volume horaire : 19.5h de TP
Principe de la programmation
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Joseph Le Roux Volume horaire : 19.5h de TP + 6h de TD
Logique
Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Marie Kerjean Volume horaire : 18h de TD
Spécification Algébrique et Tests Logiciels
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2022
Responsable du cours : Pierre Rousselin Volume horaire : 18h de TD