Enseignements

Si vous trouvez un lien qui paraît anormalement cassé, n'hésitez pas à me le faire savoir.

J'assure cette année des enseignements dans les cours suivants :

• Algorithmique avancée, complexité, calculabilité (AAC) en M1 :
  • énoncé du TP sur la réduction de palette d'image par programmation dynamique ;
• Initiation à la programmation en L1.

Je conserve ici quelques archives, non maintenues, des cours que j'ai précédemment assurés :

1. 2004―2005 (Introduction à l'informatique et Unix et automates)
2. 2005―2006 (Système L3)
3. Introduction aux systèmes d'exploitation (51 IS1) (2006―2007)
4. Systèmes Master1 (2006―2007)
5. SVL en M1 (2007―2008) :
   • énoncé du premier TP de Model-Checking ;
   • énoncé d'un mini-TP pour approfondir vos connaissances sur Spin/XSpin ;
   • énoncé du TP de modélisation du protocole (initial) de Needham-Schroeder et de découverte d'une faille ;
6. AeL en L2 (S4) (2007―2008) ;
7. SIME en L1 (S2) (2007―2008) :
   • énoncé de TP sur les nombres de Mersenne ;
   • énoncé sur la conjecture de Proth-Gilbreath ;
   • énoncé sur les nombres raccourcissables ;
   • énoncé sur les nombres k-ièmes et les suites décimées ;
   • énoncé sur les nombres zébrés.
8. SVL en M1 (2008―2009) :
   • énoncé du deuxième TP, introduisant JUnit ;
   • énoncé du troisième TP, exploitant JUnit pour du Test-Driven Development ;
   • énoncé d'un mini-projet pour pratiquer le test et la couverture (Sudoku) ;
   • énoncé du premier TP de Model-Checking, introduisant Spin ;
   • énoncé du TP de modélisation du protocole (initial) de Needham-Schroeder et de découverte d'une faille.
9. AeL en L2 (S4) (2008―2009) ;
10. SIME en L1 (S2) (2008―2009) :
    • énoncé de TP sur les nombres de Mersenne.