teaching
Optimisation Combinatoire -
ENAC -
2014-
Calcul Différentiel et Optimisation (non linéaire) -
ENAC -
2011-2014
Probabilités et Statistiques (TD et TP) -
ENAC -
2014
Programmation objet en Java (TD) -
ENAC -
2011-
Programmation et Algorithmique en OCaml et C (TP) -
ENAC -
2009-
Programmation en Python (TD et TP) -
ENAC -
2014-
Lambda-calcul et typage -
ENAC -
2011-2014
- Diapositives du cours d'introduction au lambda-calcul typé de Barnier-Brisset-Gondran (4h) :
cours -
- Documents annexes :
- Peut-on classer les sciences ? de IREM - Université de Montpellier 2 :
pdf -
- La place de l'informatique dans la classification des sciences de Gilles Dowek :
article du Monde -
- Le langage mathématique et les langages de programmation de Gilles Dowek :
pdf -
- Le sens du calcul de Gilles Dowek :
pdf -
- L'histoire des mathématiques de Richard Mankiewicz :
- Petit cours d'autodéfense intellectuelle de Normand Baillargeon :
résumé pdf -
à ne pas acheter sur Amazon mais chez votre libraire préféré-e -
Optimisation et recherche opérationnelle (AG41) -
UTBM -
2008
Systèmes embarqués et Informatique mobile (LO52) -
UTBM -
2008
- TP n°1 : Antennes filaires :
Sujet -
- TP n°2 : Antennes « Ricoré » :
Sujet -
- TP n°3 : Débit réel :
Sujet -