Études encore d'actualité:




  • Acoustique musicale
    A voir ou à entendre :
    - un livre auquel j'ai participé, paru en juin 2011 (ici, les calculs en Maple qui fondent ma contribution)
    - ma communication au colloque "Vaucanson et la musique" (7 avril 2009)

  • Programmation

  • Machines de Turing

  • Logiciels de logique (formes normales et déduction naturelle)

 







Date de mise à jour: 03/01/2012