|
|
Modules enseignés à l'UFR Sciences et à l'IUT Polycopiés, documents et diverses références J. C. Attiogbé |
|
|
Modules enseignés à l'UFR Sciences et à l'IUT Polycopiés, documents et diverses références J. C. Attiogbé |
|
Algorithmique et Complexité (Licence) |
||
|
|
Module I3 (Deug - Calcul de cout, intro langages, intro preuves pgms) avec P. Lamarre et C. Enguehard Introduction
à la Complexité et Calculabilité (niveau Licence)
|
|
|
Divers |
||
|
|
Culture Informatique
(Logique, Turing, etc, etc) |
|
|
Intégration de Méthodes Formelles (Master2 R) Modélisation des
processus communicants Vérification de programmes par évaluation de modèle (model checking) Autres ressources d'enseignement
|
||
Dernière
modification : 19/09/2014
Prenom.Nom@univ-nantes.fr
